Abstraction and Resolution Modulo AC: How to Verify Diffie-Hellman-like Protocols Automatically

Abstraction and Resolution Modulo AC: How to Verify Diffie-Hellman-like Protocols Automatically (2004)

by J. Goubault-Larrecq , M. Roger , K. N. Verma

Citations:

13 - 3 self

Datum	Value	Source
TITLE	to Verify Di#e-Hellman-like Protocols Automatically	SVM HeaderParse 0.1
AUTHOR NAME	J. Goubault-larrecq	SVM HeaderParse 0.1
AUTHOR AFFIL	Ecole Normale Suprieure de Cachan; 61, avenue du Prsident Wilson	SVM HeaderParse 0.2
AUTHOR ADDR	94235 Cachan Cedex France	SVM HeaderParse 0.1
AUTHOR NAME	M. Roger	SVM HeaderParse 0.1
AUTHOR AFFIL	Ecole Normale Suprieure de Cachan; 61, avenue du Prsident Wilson	SVM HeaderParse 0.2
AUTHOR ADDR	94235 Cachan Cedex France	SVM HeaderParse 0.1
AUTHOR NAME	K. N. Verma	SVM HeaderParse 0.1
AUTHOR AFFIL	Ecole Normale Suprieure de Cachan; 61, avenue du Prsident Wilson	SVM HeaderParse 0.2
AUTHOR ADDR	94235 Cachan Cedex France	SVM HeaderParse 0.1
AUTHOR NAME	Jean Goubault-larrecq	SVM HeaderParse 0.1
AUTHOR NAME	Muriel Roger	SVM HeaderParse 0.1
AUTHOR NAME	Kumar Neeraj Verma	SVM HeaderParse 0.1
AUTHOR AFFIL	; a; LSV/CNRS UMR 8643 & INRIA Futurs projet SECSI & ENS Cachan; b; DRT/LIST/DTSI/SLA/LSL; c; Technische Universitt Mnchen, Institut fr Informatik / I2	SVM HeaderParse 0.2
AUTHOR ADDR	; 61, av. du prsident-Wilson, 94235 Cachan Cedex, France; CEA, centre de Saclay, 91191 Gif-sur-Yvette, France; Boltzmannstrae 3, 85748 Garching, Germany	SVM HeaderParse 0.1
ABSTRACT	a,#	SVM HeaderParse 0.1
CITATIONS	38 found	ParsCit 1.0