Sciweavers

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

6

IPPS
2000
IEEE

favoriteEmaildiscussreport

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

A Method for Automatic Cryptographic Protocol Verification

13 years 9 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)