Springer
Lecture Notes in Computer Science
Computer Security

Arbab, F. (2011). Puff, the magic protocol. In Formal Modeling: Actors, open systems, biological systems (pp. 169–206). Springer.