Login / Signup
A Semantics of Security Protocol Language (SPL) using a Class of Composable High-Level Petri Nets.
Roland Bouroulet
Hanna Klaudel
Elisabeth Pelz
Published in:
ACSD (2004)
Keyphrases
</>
security protocols
programming language
petri net
artificial immune algorithm
security services