Static analysis for stack inspection

Electronic Notes in Theoretical Computer Science

Volumn 54, Issue , 2001, Pages 69-80

  Bartoletti, Massimo ^a   Degano, Pierpaolo ^a   Ferrari, Gianluigi ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; APPROXIMATION THEORY; CODES (SYMBOLS); COMPUTER SOFTWARE; MOBILE TELECOMMUNICATION SYSTEMS; OBJECT ORIENTED PROGRAMMING; SECURITY OF DATA;

JAVA PLATFORMS; JAVA SECURITY ARCHITECTURE; STACK INSPECTION; STATIC ANALYSIS;

JAVA PROGRAMMING LANGUAGE;

EID: 18944377182     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)00236-1     Document Type: Conference Paper

References (19)

1. Abadi M., Burrows M., Lampson B., Plotkin G. A calculus for access control in distributed systems. ACM ToPLAS. 1993;706-734
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.
6. Gong L. Inside Java 2 platform security: architecture, API design, and implementation. 1999;Addison-Wesley
7. D. Grove, G. De Fouw, J. Dean, and C. Chambers. Call graph construction in object-oriented languages. In ACM OOPSLA '97, pp. 108-124.
8. T. Jensen, D. Le Métayer, and T. Thorn. Verification of control flow based security policies. T.R., IRISA, 1998.
9. Nielson F., Nielson H.R., Hankin C.L. Principles of Program Analysis. 1999;Springer
10. T. Nipkow. Verified bytecode verifiers. In FOSSACS 2001, LNCS 2030.
11. F. Pottier, C. Skalka, and S. Smith. A systematic approach to static access control. In ESOP '01, LNCS 2028, pp. 30-45
12. TM virtual machine instructions for objects, methods and subroutines. In Formal Syntax and Semantics of Java, LNCS 1523, pp. 271-311, 1998.
13. A. Rountev, B. G. Ryder and W. Landi. Data-Flow Analysis of Program Fragments. In ESEC / SIGSOFT FSE, 1999.
14. R. Stata and M. Abadi. A type system for Java Bytecode Subroutines. In ACM POPL '98, pp. 149-160.
15. V. Sreedhar, M. Burke and J. D. Choi A framework for interprocedural optimization in the presence of dynamic class loading. In SIGPLAN Conference on Programming Language Design and Implementation, 2000.
16. Walker D. A type system for expressive security policies. ACM POPL. 2000
17. Wallach D.S., Appel A.W., Felten E.W. SAFKASI: a security mechanism for language-based systems. ACM TOSEM. 2000
18. D. S. Wallach and E. W. Felten. Understanding Java stack inspection. In Proc. of the 1998 IEEE Symposium on Security and Privacy.
19. Wille C. Presenting C#. 2000;SAMS Publishing