Verification of a formal Security Model for Multiapplicative Smart Cards

By: Axel Schairer (KFKI GMbH), Gerhard Schellhor (Universitat Augsburg), Wolfgang Reif (Universitat Augsburg), Paul Karger, Vernon Austel, David Toll

Published in: Lecture Notes in Computer Science, volume 1895, (no ), pages 17-36 in 2000

Please obtain a copy of this paper from your local library. IBM cannot distribute this paper externally.

Questions about this service can be mailed to reports@us.ibm.com .