Compositional Protocol Logic CS 395T Outline Floyd-Hoare logic of programs Compositional reasoning about properties of programs DDMP protocol logic Developed by Datta, Derek,…

* Reasoning about Concrete Security in Protocol Proofs A. Datta, J.Y. Halpern, J.C. Mitchell, R. Pucella, A. Roy * Motivation We want to answer questions like: Given a cryptographic…

* Reasoning about Concrete Security in Protocol Proofs A. Datta, J.Y. Halpern, J.C. Mitchell, R. Pucella, A. Roy * Motivation We want to answer questions like: Given a cryptographic…

Protocol Composition Logic (PCL): Part II Anupam Datta CS 259 Using PCL: Summary Modeling the protocol Program for each protocol role Modeling security properties Using PCL…

Abstraction and Refinement in Protocol Derivation Anupam Datta Ante Derek John C. Mitchell Dusko Pavlovic Stanford University Kestrel Institute CSFW June 28, 2004 Project…

Protocol Composition Logic (PCL): Part II Anupam Datta CS 259 Using PCL: Summary Modeling the protocol Program for each protocol role Modeling security properties Using PCL…

Security Analysis of Network Protocols Anupam Datta Stanford University May 18, 2005 This talk is about… Industrial network security protocols Internet Engineering Task…