Verification of a formal security model for multiapplicative smart cards

Bibliographic Details
Corporate Author: International Business Machines Corporation Research Division (IBMRD)
Other Authors: Austel, Vernon, Karger, Paul, Reif, Wolfgang, Schairer, Axel, Schellhorn, Gerhard, Toll, David
Format: Book
Language:English
Published: 2000

Internet

This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.

Stanford University

Holdings details from Stanford University
Call Number: 134739
ISIL:US-CST