Formal verification of IFF and NSLPK authentication protocols with CiMPG (S).

Thet Wai Mon, Shuho Fujii, Duong Dinh Tran, Kazuhiro Ogata

Browse the full SEKE paper archive.