A calculus for cryptographic protocols: The spi calculus
scientific article; zbMATH DE number 1271054