Lack of explicitness strikes back (transcript of discussion)

DOI10.1007/3-540-44810-1_14MaRDI QIDQ4786011zbMATH OpenFDO

Authors Giampaolo Bella

Publication date 12 December 2002

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2133/21330094

Mathematics Subject Classification ID

Network protocols (68M12) Data encryption (aspects in computer science) (68P25) Computing methodologies and applications (68U99)

Recommendations

• Lack of explicitness strikes back
• Mechanising a protocol for smart cards
• An attack on a recursive authentication protocol. A cautionary tale
• Formal correctness of security protocols.
• scientific article; zbMATH DE number 2143936

Cited in

(1)

• Lack of explicitness strikes back

This page was built for publication: Lack of explicitness strikes back (transcript of discussion)

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