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
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 / Article No.
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 / Basin, David  
More
Show all metadata
Citations
Cited 2 times in Web of Science
ETH Bibliography
yes
Altmetrics