Verification of a Formal Security Model for Multiapplicative Smart Cards

This publication has 3 references indexed in Scilit:

• Applied Formal Methods — FM-Trends 98
  Published by Springer Nature ,1999
• Mechanism Sufficiency Validation by Assignment
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1981
• Secure Computer System: Unified Exposition and Multics Interpretation
  Published by Defense Technical Information Center (DTIC) ,1976