Robuta

https://irep.ntu.ac.uk/id/eprint/10458/ A framework for cryptographic protocol analysis using linear temporal logic - IRep - Nottingham... IRep - Nottingham Trent University's open access institutional research repository linear temporal logic cryptographic protocol framework analysis using https://pike.lysator.liu.se/docs/ietf/rfc/47/rfc4758.xml RFC 4758: Cryptographic Token Key Initialization Protocol (CT-KIP) Version 1.0 Revision 1 - Pike... cryptographic token rfc key initialization protocol