Verified formal security models for multiapplicative smart cards.

Saved in:

Bibliographic Details
Title:	Verified formal security models for multiapplicative smart cards.
Authors:	Schellhorn, Gerhard, Reif, Wolfgang, Schairer, Axel, Karger, Paul, Austel, Vernon, Toll, David
Source:	Journal of Computer Security; 2002, Vol. 10 Issue 4, p339, 29p
Database:	Applied Science & Technology Source

Description
ISSN:	0926227X
DOI:	10.3233/JCS-2002-10403