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

• A model theoretic semantics for multi-level secure deductive databases
• A note on security proofs in the generic model
• A proof theoretic interpretation of model theoretic hiding
• Model checking security protocols using a logic of belief
• 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
• A note on security proofs in the generic model
• 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)