×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [form sigb]
Compositional Protocol Logic
46 views
Protocol Composition Logic (PCL): Part II
40 views
Reasoning about Concrete Security in Protocol Proofs
38 views
1 Reasoning about Concrete Security in Protocol Proofs A. Datta, J.Y. Halpern, J.C. Mitchell, R. Pucella, A. Roy
219 views
Protocol Composition Logic (PCL): Part II Anupam Datta CS 259
232 views
Abstraction and Refinement in Protocol Derivation
51 views
Security Analysis of Network Protocols
74 views