A compositional logic for proving security properties of protocols*
- 1 October 2003
- journal article
- Published by SAGE Publications in Journal of Computer Security
- Vol. 11 (4) , 677-721
- https://doi.org/10.3233/jcs-2003-11407
Abstract
Partially supported by the Kestrel Institute, ONR MURI “Semantic Consistency in Information Exchange”, N00014-97-1-0505, and ONR Grant “Games and Security in Systems of Autonomous Agents”, N0014-00-C-0495. We present a logic for proving security propKeywords
This publication has 0 references indexed in Scilit: