scientific article; zbMATH DE number 2087350

MaRDI QIDQ4738121zbMATH OpenFDO

Authors Nesria Agray, Wiebe van der Hoek, Erik de Vink

Publication date 11 August 2004

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

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Recommendations

• Publication:4934730
• Computational Science and Its Applications – ICCSA 2004
• scientific article; zbMATH DE number 1884406
• Formal semantics for authentication logics
• scientific article; zbMATH DE number 2080723

Cited in

(5)

• scientific article; zbMATH DE number 1394314 (Why is no real title available?)
• Computational Science and Its Applications – ICCSA 2004
• Update semantics of security protocols
• scientific article; zbMATH DE number 2064304 (Why is no real title available?)
• Proving possession of arbitrary secrets while not giving them away: New protocols and a proof in GNY logic

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