scientific article; zbMATH DE number 2080723

zbMATH Open1050.94542MaRDI QIDQ4473641FDOQ4473641

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

(13)

• An omniscience-free temporal logic of knowledge for verifying authentication protocols
• Title not available (Why is no real title available?)
• Title not available (Why is no real title available?)
• Title not available (Why is no real title available?)
• Title not available (Why is no real title available?)
• A quantifier-free first-order knowledge logic of authentication
• A formal semantics for SPKI
• Title not available (Why is no real title available?)
• A logic of authentication
• AURA
• A formal framework for authentication
• Formal semantics for authentication logics
• Title not available (Why is no real title available?)

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)