Sciweavers

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

21

IPPS
2000
IEEE

favoriteEmaildiscussreport

108views Distributed And Parallel Com...» more IPPS 2000»

A Method for Automatic Cryptographic Protocol Verification

14 years 3 months ago

A Method for Automatic Cryptographic Protocol Verification

Download ipdps.cc.gatech.edu

Jean Goubault-Larrecq

Real-time Traffic

Distributed And Parallel Computing | IPPS 2000 |

claim paper

Related Content

» Automatic Verification of Cryptographic Protocols with SETHEO

» Reducing protocol analysis with XOR to the XORfree case in the horn theory based approach

» Automatic Verification of Correspondences for Security Protocols

» Reconstruction of Attacks against Cryptographic Protocols

» Comparing BDD and SAT Based Techniques for Model Checking Chaums Dining Cryptographers Pro...

» Cryptographic Protocol Verification Using Tractable Classes of Horn Clauses

» Easy intruder deduction problems with homomorphisms

» Extracting and Verifying Cryptographic Models from C Protocol Code by Symbolic Execution

» Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values

Post Info
More Details (n/a)

Added	31 Jul 2010
Updated	31 Jul 2010
Type	Conference
Year	2000
Where	IPPS
Authors	Jean Goubault-Larrecq

Comments (0)