This HTML5 document contains 7 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
dctermshttp://purl.org/dc/terms/
marcrelhttp://id.loc.gov/vocabulary/relators/
dchttp://purl.org/dc/elements/1.1/
n9http://www.idref.fr/076752801/
n2https://hal.archives-ouvertes.fr/inria-00103954#
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n4http://www.idref.fr/24179479X/
n7http://www.idref.fr/079451284/
xsdhhttp://www.w3.org/2001/XMLSchema#
n6http://www.idref.fr/029609135/
Subject Item
n2:id
marcrel:aut
n4:id n6:id n7:id n9:id
dcterms:bibliographicCitation
Chevalier Yannick, Küsters Ralf, Rusinowitch Michaël, Turuani Mathieu. An NP Decision Procedure for Protocol Insecurity with XOR. 18th IEEE Symposium on Logic in Computer Science (LICS 2003), Jun 2003, Ottawa, Canada, pp.261-270
dcterms:title
An NP Decision Procedure for Protocol Insecurity with XOR
dc:date
2003