Primitives for authentication in process algebras
Primitives for authentication in process algebras is a scholarly work by Chiara Bodei and Riccardo Focardi, published in 2002 in ''Theoretical Computer Science''. The main subjects of the publication include Data Authentication Algorithm, algebra, message authentication code, computer science, computer security, cryptographic protocol, calculus, implementation, process calculus, process, Lightweight Extensible Authentication Protocol, authentication, authentication, authentication protocol, and theoretical computer science. The authors extend the pi-calculus and the spi-calculus with two primitives that guarantee authentication.