Checking Secure Interactions of Smart Card Applets
- 1 January 2000
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Differential Power AnalysisPublished by Springer Nature ,1999
- A type system for object initialization in the Java bytecode languagePublished by Association for Computing Machinery (ACM) ,1998
- A type system for Java bytecode subroutinesPublished by Association for Computing Machinery (ACM) ,1998
- Security properties of typed appletsPublished by Association for Computing Machinery (ACM) ,1998
- Secure information flow in a multi-threaded imperative languagePublished by Association for Computing Machinery (ACM) ,1998
- Byte code verification for Java smart cards based on model checkingPublished by Springer Nature ,1998
- A decentralized model for information flow controlPublished by Association for Computing Machinery (ACM) ,1997
- A Logical View of Secure Dependencies*Journal of Computer Security, 1992
- Unwinding and Inference ControlPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1984