Roland Bouroulet, Hanna Klaudel, Elisabeth Pelz. A Semantics of Security Protocol Language (SPL) using a Class of Composable High-Level Petri Nets. In 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 16-18 June 2004, Hamilton, Canada. pages 99-110, IEEE Computer Society, 2004. [doi]
Abstract is missing.