Share/Save

A Symbiotic Relationship Between Formal Methods and Security

Publication Type:

Conference Proceedings

Source:

Computer Security, Dependability and Assurance: From Needs to Solutions, Proceedings, IEEE (1998)