Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Rusinowitch, Michaël - Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Université Henri Poincaré -Nancy-Université
Deciding the Con uence of Ordered Term Rewrite HUBERT COMON
http://www.lsv.ens-cachan.fr/Publis/ Accepted for publication in Theoretical Computer Science.
A Survey of Algebraic Properties Used in Cryptographic Protocols # Vronique Cortier 1 ## , Stphanie Delaune 2,3 , and Pascal Lafourcade 3
Verifying Cryptographic Protocols with Subterms Constraints
Protocol Insecurity with a Finite Number of Sessions and Composed Keys is NPcomplete
Vrifier les protocoles cryptographiques Vronique Cortier
Laboratoire Recherche en
Mechanical Veri cation of an Ideal Incremental ABR Conformance Algorithm ?
Intruders with Caps Siva Anantharaman1
Security properties: two agents are su#cient Hubert ComonLundh and Veronique Cortier ##
Synthesizing secure protocols Veronique Cortier1
Deciding knowledge in security protocols under equational theories
Theoretical Computer Science 338 (2005) 247274 www.elsevier.com/locate/tcs
Towards an Automatic Analysis of Web Service Yannick Chevalier1
Automatic Analysis of the Security of XOR-Based Key Management Schemes
