1. Algebraic Theory for True Concurrency;Wang,2023
2. A calculus for cryptographic protocols: the spi calculus;Abadi;Information and Computation,1999
3. The applied pi calculus: mobile values, new names, and secure communication;Abadi;Journal of the ACM,2017
4. Applied Cryptography: Protocols, Algorithms, and Source Code in C;Schneier,1996
5. A logic of authentication;Burrows;Proceedings of the Royal Society of London A,1989