Demonstration of the modified CSN-logic

MaRDI QIDQ2909001zbMATH OpenFDO

Authors Péter Takács, Tamás Mihálydeák

Publication date 29 August 2012

zbMATH Keywords

formal verificationcryptographic protocolsmodified CSN-logic

Mathematics Subject Classification ID

Cryptography (94A60) Logic in computer science (03B70) Network protocols (68M12)

Recommendations

• scientific article; zbMATH DE number 1394314
• A logic of authentication
• scientific article; zbMATH DE number 2102391
• scientific article; zbMATH DE number 1405638
• Three systems for cryptographic protocol analysis

This page was built for publication: Demonstration of the modified CSN-logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2909001)