scholarly journals Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis

2001 ◽  
pp. 23-29 ◽  
Author(s):  
John C. Mitchell
Keyword(s):  
Polynomial Time ◽  
Protocol Analysis ◽  
Security Protocol ◽  
Process Calculus ◽  
Time Process ◽  
Probabilistic Polynomial Time

scholarly journals A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols

2006 ◽  
Vol 353 (1-3) ◽  
pp. 118-164 ◽  
Author(s):  
John C. Mitchell ◽  
Ajith Ramanathan ◽  
Andre Scedrov ◽  
Vanessa Teague
Keyword(s):  
Polynomial Time ◽  
Cryptographic Protocols ◽  
Process Calculus ◽  
Time Process ◽  
Probabilistic Polynomial Time

scholarly journals The CASPA Tool: Causality-Based Abstraction for Security Protocol Analysis

2008 ◽  
pp. 419-422 ◽  
Author(s):  
Michael Backes ◽  
Stefan Lorenz ◽  
Matteo Maffei ◽  
Kim Pecina
Keyword(s):  
Protocol Analysis ◽  
Security Protocol

Probabilistic Polynomial-Time Semantics for a Protocol Security Logic

2005 ◽  
pp. 16-29 ◽  
Author(s):  
Anupam Datta ◽  
Ante Derek ◽  
John C. Mitchell ◽  
Vitaly Shmatikov ◽  
Mathieu Turuani
Keyword(s):  
Polynomial Time ◽  
Protocol Security ◽  
Time Semantics ◽  
Probabilistic Polynomial Time

scholarly journals A higher-order characterization of probabilistic polynomial time

2015 ◽  
Vol 241 ◽  
pp. 114-141 ◽  
Author(s):  
Ugo Dal Lago ◽  
Paolo Parisen Toldin
Keyword(s):  
Polynomial Time ◽  
Higher Order ◽  
Probabilistic Polynomial Time

Overview of Security Protocol Analysis

2008 ◽  
pp. 17-72 ◽  
Author(s):  
Qingfeng Chen ◽  
Chengqi Zhang ◽  
Shichao Zhang
Keyword(s):  
Protocol Analysis ◽  
Security Protocol
Sign in / Sign up

Export Citation Format

Share Document