Roland Bouroulet

According to our database, Roland Bouroulet authored at least 3 papers between 2004 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets.

Roland Bouroulet, Raymond R. Devillers, Hanna Klaudel, Elisabeth Pelz, Franck Pommereau

Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008

2006

Modelling and verification of authentication using enhanced net semantics of SPL (Security Protocol Language).

Roland Bouroulet, Hanna Klaudel, Elisabeth Pelz

Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

2004

A Semantics of Security Protocol Language (SPL) using a Class of Composable High-Level Petri Nets.

Roland Bouroulet, Hanna Klaudel, Elisabeth Pelz

Proceedings of the 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 2004