<https://hal.archives-ouvertes.fr/inria-00139908#id>	<http://purl.org/dc/terms/bibliographicCitation>	"Eugen Zalinescu, Cortier V\u00E9ronique, Warinschi Bogdan. From passive to active security via a simple transformation. [Research Report] 2007" .
<https://hal.archives-ouvertes.fr/inria-00139908#id>	<http://purl.org/dc/elements/1.1/date>	"2007" .
<https://hal.archives-ouvertes.fr/inria-00139908#id>	<http://id.loc.gov/vocabulary/relators/aut>	<http://www.idref.fr/240140818/id> .
<https://hal.archives-ouvertes.fr/inria-00139908#id>	<http://purl.org/dc/terms/title>	"From passive to active security via a simple transformation" .