scientific article; zbMATH DE number 2087350

zbMATH Open1053.68696MaRDI QIDQ4738121FDOQ4738121

Erik de Vink, Nesria Agray, Wiebe van der Hoek

Publication date: 11 August 2004

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (5)

• Computational Science and Its Applications – ICCSA 2004
• Update semantics of security protocols
• Title not available (Why is that?)
• Proving possession of arbitrary secrets while not giving them away: New protocols and a proof in GNY logic
• Title not available (Why is that?)

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)