Mechanising a protocol for smart cards

DOI10.1007/3-540-45418-7_3MaRDI QIDQ4785542zbMATH OpenFDO

Authors Giampaolo Bella

Publication date 5 January 2003

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/2140/21400019

zbMATH Keywords

authenticationconfidentialityinductive approachkey distributionsmart card protocols

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4191560
• Public-key cryptography on smart cards

Cited in

(3)

• Issues in smartcard middleware
• XML smartcards
• Lack of explicitness strikes back (transcript of discussion)

This page was built for publication: Mechanising a protocol for smart cards

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