Verified formal security models for multiapplicative smart cards.
Saved in:
| 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 |
Be the first to leave a comment!
