Electronic Purse Applet Certification: extended abstract
Open Access
- 31 December 2000
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 32, 14-25
- https://doi.org/10.1016/s1571-0661(04)00092-1
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- 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
- A Logical View of Secure Dependencies*Journal of Computer Security, 1992
- Unwinding and Inference ControlPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1984