Application of lightweight formal methods to software security (2005)

by D Gilliam, J Powell, M Bishop
Venue:In 14th IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprise