Verified formal security models for multiapplicative smart...

Journal of Computer Security 2002 / 10 Vol. 10; Iss. 4

Verified formal security models for multiapplicative smart cards1

Schellhorn, Gerhard, Reif, Wolfgang, Schairer, Axel, Karger, Paul, Austel, Vernon, Toll, David
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
10
Journal:
Journal of Computer Security
DOI:
10.3233/jcs-2002-10403
Date:
October, 2002
File:
PDF, 226 KB
2002
Conversion to is in progress
Conversion to is failed