An extension of protocol verification modal logic to multi-channel protocols

MaRDI QIDQ3613106zbMATH OpenFDO

Authors Péter Takács, Sándor Vályi

Publication date 11 March 2009

zbMATH Keywords

formal verification of cryptographic protocols

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Cryptography (94A60)

Recommendations

• A logic for extensional protocols
• scientific article; zbMATH DE number 2088755
• scientific article; zbMATH DE number 2080915
• scientific article; zbMATH DE number 2222694
• scientific article; zbMATH DE number 3926217

Cited in

(2)

• A logic for extensional protocols
• scientific article; zbMATH DE number 5662518 (Why is no real title available?)

This page was built for publication: An extension of protocol verification modal logic to multi-channel protocols

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