https://intlibrary.ir/download/automated-reasoning-for-security-protocol-analysis-47369/