A formal semantics for SPKI

DOI10.1007/10722599_9MaRDI QIDQ5862301zbMATH OpenOpenAlexFDO

Authors Jon Howell, David Kotz

Publication date 7 March 2022

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/10722599_9

zbMATH Keywords

formal semanticsmodal logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Internet topics (68M11) Network protocols (68M12) Computer security (68M25)

Recommendations

• An authorization model and its formal semantics
• scientific article; zbMATH DE number 2089443
• Formal semantics for authentication logics
• Information Security and Privacy
• scientific article; zbMATH DE number 2080723

Cited in

(1)

• Mechanizing common knowledge logic using COQ

This page was built for publication: A formal semantics for SPKI

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