[Cornwell84] M. Cornwell and R. Jacob, Towards Multilevel-Secure Message Systems: Techniques Employed in Prototype Systems, DOD/NBS, 7th Computer Security Conference, Sept, 84, []