@InProceedings{	  mantel:possibilistic-definitions-of-security--an-assembly-kit:2000,
  abstract	= {We present a framework in which different notions of
		  securitycan be defined in a uniform and modular way.
		  Eachdefinition of security is formalized as a security
		  predicateby assembling more primitive basic security
		  predicates. Acollection of such basic security predicates
		  is defined andwe demonstrate how well-known concepts like
		  generalizednon-interference or separability can be
		  constructed fromthem. The framework is open and can be
		  extended with newbasic security predicates using a general
		  schema. We investigatethe compatibility of the assembled
		  definitions withsystem properties apart from security and
		  propose a newdefinition of security which does not restrict
		  non-criticalinformation flow. It turns out that the
		  modularity of ourframework simplifies these investigation.
		  Finally, we discussthe stepwise development of secure
		  systems.},
  address	= {Cambridge, UK},
  author	= {Heiko Mantel},
  booktitle	= {Proceedings of the 13th IEEE Computer Security Foundations
		  Workshop (CSFW)},
  month		= {July 3--5},
  pages		= {185--199},
  pdf		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2000/2000ieee-csfw.pdf},
  ps		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2000/2000ieee-csfw.ps.zip},
  publisher	= {IEEE Computer Society},
  title		= {{Possibilistic Definitions of Security -- An Assembly
		  Kit}},
  year		= 2000
}