Roland Bouroulet

	2008
3		Roland Bouroulet, Raymond R. Devillers, Hanna Klaudel, Elisabeth Pelz, Franck Pommereau: Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets. Petri Nets 2008: 72-91
	2006
2		Roland Bouroulet, Hanna Klaudel, Elisabeth Pelz: Modelling and verification of authentication using enhanced net semantics of SPL (Security Protocol Language). ACSD 2006: 179-188
	2004
1		Roland Bouroulet, Hanna Klaudel, Elisabeth Pelz: A Semantics of Security Protocol Language (SPL) using a Class of Composable High-Level Petri Nets. ACSD 2004: 99-110

Coauthor Index

1	Raymond R. Devillers	[3]
2	Hanna Klaudel	[1] [2] [3]
3	Elisabeth Pelz	[1] [2] [3]
4	Franck Pommereau	[3]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page