Roland Bouroulet

Publication Activity (10 Years)

Years Active: 2004-2008
Publications (10 Years): 0

Publications

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)
Roland Bouroulet, Hanna Klaudel, Elisabeth Pelz
Modelling and verification of authentication using enhanced net semantics of SPL (Security Protocol Language). ACSD (2006)
Roland Bouroulet, Hanna Klaudel, Elisabeth Pelz
A Semantics of Security Protocol Language (SPL) using a Class of Composable High-Level Petri Nets. ACSD (2004)