Model-based testing of electronic passports
conference paper
Electronic passports, or e-passports for short, contain a contactless smartcard which stores digitally signed data. To rigorously test e-passports, we developed formal models of the e-passport protocols that enable model-based testing using the TorXakis framework.
Topics
TNO Identifier
954034
ISSN
03029743
ISBN
3642045693
Publisher
Springer
Source title
14th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2009, 2 November 2009 through 3 November 2009
Pages
207-209
Files
To receive the publication files, please send an e-mail request to TNO Repository.