scientific article; zbMATH DE number 2080723

MaRDI QIDQ4473641zbMATH OpenFDO

Authors Yifa Li

Publication date 4 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2229/22290476.htm

Mathematics Subject Classification ID

Authentication, digital signatures and secret sharing (94A62)

Recommendations

• Formal semantics for authentication logics
• A logic of authentication
• A quantifier-free first-order knowledge logic of authentication
• A new logic for electronic commerce protocols
• scientific article; zbMATH DE number 1696909

Cited in

(15)

• An omniscience-free temporal logic of knowledge for verifying authentication protocols
• scientific article; zbMATH DE number 4215344 (Why is no real title available?)
• A logic of authentication
• scientific article; zbMATH DE number 1330437 (Why is no real title available?)
• scientific article; zbMATH DE number 1149910 (Why is no real title available?)
• scientific article; zbMATH DE number 2064304 (Why is no real title available?)
• scientific article; zbMATH DE number 2087350 (Why is no real title available?)
• scientific article; zbMATH DE number 1884406 (Why is no real title available?)
• scientific article; zbMATH DE number 1394314 (Why is no real title available?)
• Formal semantics for authentication logics
• AURA
• scientific article; zbMATH DE number 4197466 (Why is no real title available?)
• A quantifier-free first-order knowledge logic of authentication
• A formal framework for authentication
• A formal semantics for SPKI

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 Q4473641)