Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

93

JAR
2006

63views more JAR 2006»

Automated Reasoning for Security Protocol Analysis

15 years 3 months ago

Automated Reasoning for Security Protocol Analysis

Download www.easychair.org

Alessandro Armando, David A. Basin, Jorge Cu&eacut

Real-time Traffic

JAR 2006 |

claim paper

Related Content

» Automating Security Analysis Symbolic Equivalence of Constraint Systems

» NonDeterministic Games and Program Analysis An Application to Security

» Automated verification of selected equivalences for security protocols

» Automated Formal Analysis of a Protocol for Secure File Sharing on Untrusted Storage

» Proof Theory Transformations and Logic Programming for Debugging Security Protocols

» Computing Knowledge in Security Protocols under Convergent Equational Theories

» Deciding knowledge properties of security protocols

» Challenges in the Automated Verification of Security Protocols

» Automated Security Protocol Analysis With the AVISPA Tool

Post Info
More Details (n/a)

Added	13 Dec 2010
Updated	13 Dec 2010
Type	Journal
Year	2006
Where	JAR
Authors	Alessandro Armando, David A. Basin, Jorge Cuéllar, Michaël Rusinowitch, Luca Viganò

Comments (0)