Applying 'Practical' Formal Methods to the Specification and Analysis of Security Properties. (2001)

by C L Heitmeyer
Venue:In Proceedings of the International Workshop on Information Assurance in Computer Networks: Methods, Models, and Architectures for Network Computer Security (MMM ACNS