×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [m2 analysis]
Security Analysis of Network Protocols: Logical and Computational Methods John Mitchell Stanford University Logic and Computational Complexity, 2006
221 views
Spectral Properties of Supermembrane and Multibrane Theories A. Restuccia Simon Bolivar University, Caracas,Venezuela In collaboration with, L. Boulton
214 views
Probabilistic Polynomial-Time Process Calculus for Security Protocol Analysis J. Mitchell, A. Ramanathan, A. Scedrov, V. Teague Partially supported by
215 views
Security Analysis of Network Protocols: Logical and Computational Methods John Mitchell Stanford University ICALP and PPDP, 2005
223 views
Symbolic and Computational Analysis of Network Protocol Security John Mitchell Stanford University Asian 2006
235 views
Security Analysis of Network Protocols John Mitchell Stanford University
223 views
Protocol analysis, wireless networking, and mobility John Mitchell Stanford University
223 views