A Symbiotic Relationship Between Formal Methods and Security Publication Type: Conference Proceedings Authors: Jeannette M. Wing Source: Computer Security, Dependability and Assurance: From Needs to Solutions, Proceedings, IEEE (1998)
