Authentication and delegation with smart-cards

DOI10.1016/0167-6423(93)90002-7zbMath0809.68064OpenAlexW1964615470MaRDI QIDQ1330456

V. Pereyra

Publication date: 21 July 1994

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(93)90002-7

zbMATH Keywords

protocolssmart-card

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25)

Related Items (2)

A (restricted) quantifier elimination for security protocols ⋮ Global types with internal delegation

This page was built for publication: Authentication and delegation with smart-cards