✦ LIBER ✦

Formal methods for smart cards: an experience report

✍ Scribed by C.-B. Breunesse; N. Cataño; M. Huisman; B. Jacobs

Book ID: 108261825
Publisher: Elsevier Science
Year: 2005
Tongue: English
Weight: 364 KB
Volume: 55
Category: Article
ISSN: 0167-6423
DOI: 10.1016/j.scico.2004.05.011

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Guest editors’ introduction: Special iss

Guest editors’ introduction: Special issue on Formal Methods for Smart Cards

✍ Marieke Huisman; Thomas Jensen 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 119 KB

Cryptographic identification methods for

Cryptographic identification methods for smart cards in the process of standardization

✍ Konigs, H.-P. 📂 Article 📅 1991 🏛 IEEE 🌐 English ⚖ 765 KB

The Use of the B Formal Method for the D

The Use of the B Formal Method for the Design and the Validation of the Transaction Mechanism for Smart Card Applications

✍ Denis Sabatier; Pierre Lartigue 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 213 KB

Experiences using lightweight formal met

Experiences using lightweight formal methods for requirements modeling

✍ Easterbrook, S.; Lutz, R.; Covington, R.; Kelly, J.; Ampo, Y.; Hamilton, D. 📂 Article 📅 1998 🏛 IEEE 🌐 English ⚖ 513 KB

RFID and Contactless Smart Card Applicat

RFID and Contactless Smart Card Applications (Paret/RFID) || Measurement Methods for Contactless Systems

✍ Paret, Dominique; Riesco, Roderick 📂 Article 📅 2011 🏛 John Wiley & Sons, Ltd ⚖ 191 KB

Psychology Experiment Authoring Kit (PEA

Psychology Experiment Authoring Kit (PEAK): Formal usability testing of an easy-to-use method for creating computerized experiments

✍ Walter Schneider; D. J Bolger; Amy Eschman; Christopher Neff; Anthony P. Zuccolo 📂 Article 📅 2005 🏛 Psychonomic Society Publications 🌐 English ⚖ 392 KB