Towards a formal verification of a secure distributed system and its applications (1994)

by C Zhang, R Shaw, M R Heckman, G D Benson, M Archer, K Levitt, R A Olsson
Venue:In Proceedings of the 17th National Computer Security Conference