Some lessons from formalizing a security model

• Authors:

• Carl E. Landwehr

• Affiliations:

• Naval Research Laboratory, Washington, D.C.

• Venue:
• ACM SIGSOFT Software Engineering Notes - Proceedings of VERkshop III -- a formal verification workshop
• Year:
• 1985