A trace logic for local security properties

MaRDI QIDQ2849557zbMATH OpenFDO

Authors Ricardo Corin, Sandro Etalle, Pieter Hartel, Antonio Durante

Publication date 20 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104053289

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Cryptography (94A60)

Recommendations

• A new logic for electronic commerce protocols
• scientific article; zbMATH DE number 1696909
• scientific article; zbMATH DE number 1754628
• Analyzing security protocols with secrecy types and logic programs
• A logic of authentication

This page was built for publication: A trace logic for local security properties

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