Sciweavers

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

7

CORR
2007
Springer

favoriteEmaildiscussreport

56views Education» more CORR 2007»

Deciding security properties for cryptographic protocols. Application to key cycles

13 years 4 months ago

Deciding security properties for cryptographic protocols. Application to key cycles

Download www.loria.fr

Hubert Comon-Lundh, Véronique Cortier, Euge

Real-time Traffic

CORR 2007 | Education |

claim paper

Related Content

» Decidable Analysis for a Class of Cryptographic Group Protocols with Unbounded Lists

» Types and Effects for Asymmetric Cryptographic Protocols

» Combining Algorithms for Deciding Knowledge in Security Protocols

» How to prevent typeflaw attacks on security protocols under algebraic properties

» Using equivalencechecking to verify robustness to denial of service

» Lets Get Physical Models and Methods for RealWorld Security Protocols

» Structure Preserving CCA Secure Encryption and Its Application to Oblivious Third Parties

» Verifying PrivacyType Properties in a Modular Way

» Middleware for Automated Implementation of Security Protocols

Post Info
More Details (n/a)

Added	13 Dec 2010
Updated	13 Dec 2010
Type	Journal
Year	2007
Where	CORR
Authors	Hubert Comon-Lundh, Véronique Cortier, Eugen Zalinescu

Comments (0)