Compositional verification for secure loading of smart card applets

Thumbnail
Metadata only
Author
Sprenger, Christoph
Gurov, Dilian
Huisman, Marieke
Date
2004
Type
  • Conference Paper
Publication status
published
External links
Full text via SFX
Book title
Proceedings / Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004, MEMOCODE '04 : June 23 - 25, 2004, San Diego, California
Pages
211 - 222
Publisher
IEEE Service Center
Event
2nd ACM/IEEE International Conference on Formal Methods and Models for Co-Design, San Diego, CA, USA, June 22-25, 2004
Organisational unit
03634 - Basin, David
Notes
.
More
Show all metadata
Altmetrics