A type system for checking applet isolation in Java Card

Thumbnail
Metadata only
Author
Dietl, Werner
Müller, Peter
Poetzsch-Heffter, Arnd
Date
2005
Type
  • Conference Paper
Publication status
published
External links
Search via SFX
Editor
Barthe, Gilles
Burdy, Lilian
Huisman, Marieke
Lanet, Jean-Louis
Muntean, Traian
Book title
Construction and analysis of safe, secure, and interoperable smart devices : international workshop : revised selected papers / CASSIS 2004, Marseille, France, March 10-14, 2004
Volume
3362
Pages / Article No.
129 - 150
Publisher
Springer
Event
International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, Marseille, France, March 10-14, 2004
Notes
.
More
Show all metadata
ETH Bibliography
yes
Altmetrics