SC 2: Secure Communication over Smart Cards

DOI10.1007/978-3-642-27901-0_4zbMath1302.94044OpenAlexW807794553WikidataQ54479560 ScholiaQ54479560MaRDI QIDQ2889815

Javier Fabra, Davide Papini, Nicola Dragoni, Eduardo Lostal

Publication date: 8 June 2012

Published in: Foundations and Practice of Security (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-27901-0_4

zbMATH Keywords

secure communicationsmart cardssecurity-by-contract

Mathematics Subject Classification ID

Cryptography (94A60) Data encryption (aspects in computer science) (68P25)

Uses Software

• Coq

This page was built for publication: SC 2: Secure Communication over Smart Cards