scientific article; zbMATH DE number 7301460

MaRDI QIDQ5146597zbMATH OpenFDO

Authors Joshua D. Guttman

Publication date 26 January 2021

Full work available at URL http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESS2009.5

Mathematics Subject Classification ID

Applications of model theory (03C98) Computer security (68M25) Cryptography (94A60) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• scientific article; zbMATH DE number 2090524
• scientific article; zbMATH DE number 1583798
• A proof theoretic interpretation of model theoretic hiding
• scientific article; zbMATH DE number 1538052
• Deciding Knowledge in Security Protocols for Monoidal Equational Theories
• Foundations of security, protocols, and equational reasoning. Essays dedicated to Catherine A. Meadows
• Deciding knowledge in security protocols under equational theories
• Automata, Languages and Programming

Cited in

(3)

• Finite reasons for safety. Parameterized verification by finite model finding
• scientific article; zbMATH DE number 1583798 (Why is no real title available?)
• Skeletons, homomorphisms, and shapes: characterizing protocol executions

This page was built for publication:

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