An NP Decision Procedure for Protocol Insecurity with XOR
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani
An NP Decision Procedure for Protocol Insecurity with XOR
LICS, 2003.

LICS 2003
DBLP
Scholar
DOI
Full names Links ISxN
@inproceedings{LICS-2003-ChevalierKRT,
	author        = "Yannick Chevalier and Ralf Küsters and Michaël Rusinowitch and Mathieu Turuani",
	booktitle     = "{Proceedings of the 18th IEEE Symposium on Logic in Computer Science}",
	doi           = "10.1109/LICS.2003.1210066",
	isbn          = "0-7695-1884-2",
	pages         = "261--270",
	publisher     = "{IEEE Computer Society}",
	title         = "{An NP Decision Procedure for Protocol Insecurity with XOR}",
	year          = 2003,
}

Tags:



Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.