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]