Bytecode verification for enhanced JVM access control

Proceedings - Second International Conference on Availability, Reliability and Security, ARES 2007

Volumn , Issue , 2007, Pages 162-169

  Liu, Dongxi ^a  

^a UNIVERSITY OF TOKYO   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

ACCESS CONTROL; CODES (SYMBOLS); CONSTRAINT THEORY; PROBLEM SOLVING; UNIFIED MODELING LANGUAGE;

BYTECODE VERIFICATION; SECURITY PROPERTY; UNIFIED FRAMEWORK;

DATA PRIVACY;

EID: 34548168632     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ARES.2007.55     Document Type: Conference Paper

References (10)

1. M. Abadi and C. Fournet. Access control based on execution history. In The 10th Annual Network and Distributed System Security Symposium, 2003.
2. A. Banerjee and D. A. Naumann. Stack-based access control and secure information flow. Journal of Functional Programming, 15(2):131-177, 2005.
3. S. N. Freund and J. C. Mitchell. A Type System for Object Initialization in the Java Bytecode Language. ACM Transactions on Programming Languages and Systems, 21(6):1196-1250, 1999.
4. L. Gong. Inside Java 2 Platform Security. Addison Wesley, 1999.
5. T. Higuchi and A. Ohori. A Static Type System for JVM Access Control. ACM Transactions on Programming Languages and Systems, (accepted).
6. D. Liu. Enhanced JVM Access Control. http://www.ipl.t.u-tokyo.ac.jp/~liu/ enJAC.html.
7. F. Pottier, C. Skalka, and S. Smith. A systematic approach to static access control. ACM Trans. Program. Lang. Syst., 27(2):344-382, 2005.
8. C. Skalka and S. Smith. Static Enforcement of Security with Types. In ACM International Conference on Functional Programming, 2000.
9. R. Stata and M. Abadi. A Type System for Java Bytecode Subroutines. ACM Transactions on Programming Languages and Systems, 21(1), 1999.
10. D. S. Wallach, A. Appel, and E. W. Felten. SAFKASI: A Security Mechanism for Language-based Systems. ACM Transactions on Software Engineering and Methodology, 9(4), 2000.