Author:
Bartoletti Massimo,Degano Pierpaolo,Ferrari GianLuigi
Subject
General Computer Science,Theoretical Computer Science
Reference19 articles.
1. A calculus for access control in distributed systems;Abadi;ACM ToPLAS,1993
2. A. Coglio, A. Goldberg, and Z. Qian. Toward a provably-correct implementation of the JVM bytecode verifier. T.R., Kestrel Institute, 1998.
3. S. N. Freund and J. C. Mitchell. A type system for object initialization in the Java bytecode language”, In ACM OOPSLA '98, pp. 310–327.
4. S. N. Freund and J. C. Mitchell. A formal framework for the Java Bytecode Language and Verifier. In ACM OOPSLA '99, pp. 147–166.
5. A. Goldberg. A specification of Java loading and bytecode verification. In 5th ACM Conference on Computer and Communications Security, pp. 49–58, 1998.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献