An efficient security verification method for programs with stack inspection

Proceedings of the ACM Conference on Computer and Communications Security

Volumn , Issue , 2001, Pages 68-77

  Nitta, Naoya ^a   Takata, Yoshiaki ^a   Seki, Hiroyuki ^a  

^a NARA INSTITUTE OF SCIENCE AND TECHNOLOGY   (Japan)

Author keywords

Access control; Java; Security verification; Stack inspection

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER NETWORKS; COMPUTER PROGRAMMING; JAVA PROGRAMMING LANGUAGE; MATHEMATICAL MODELS;

SECURITY VERIFICATION; STACK INSPECTION;

SECURITY OF DATA;

EID: 0035751301     PISSN: 15437221     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/501983.501994     Document Type: Conference Paper

References (17)

1. A calculus for access control in distributed systems
2. Secure communications processing for distributed languages
3. Indexed grammars - An extension of context-free grammars
4. A lattice model of secure information flow
5. Certification of programs for secure information flow
6. Temporal and modal logic
7. Going beyond the sandbox: An overview of the new security architecture in the Java™ development kit 1.2
8. The SLam calculus: Programming with secrecy and integrity
9. Verification of control flow based security properties
10. JFLOW: Practical mostly-static information flow control
11. Security verification of programs with stack inspection
12. Can you trust your data?
13. A type-based approach to program security
14. Understanding Java stack inspection