Checking security of Java bytecode by abstract interpretation

Proceedings of the ACM Symposium on Applied Computing

Volumn , Issue , 2002, Pages 229-236

  Barbuti, Roberto ^a   Bernardeschi, Cinzia ^a   De Francesco, Nicoletta ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

Abstract interpretation; Information flow; Java bytecode; Security

Indexed keywords

ABSTRACTING; CODES (SYMBOLS); DATA FLOW ANALYSIS; JAVA PROGRAMMING LANGUAGE; PROGRAM INTERPRETERS; SEMANTICS;

ABSTRACT INTERPRETATION; ABSTRACT SEMANTICS; JAVA BYTECODE;

SECURITY OF DATA;

EID: 0036039367     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/508832.508839     Document Type: Conference Paper

References (25)

1. A core calculus of dependency
2. An axiomatic approach to information flow in programs
3. A semantic model of types and machine instructions for proof-carring code
4. What's in a region? Or computing control dependence regions in near-linear time for reducible control flow
5. Compile-time detection of information flow in sequential programs
6. Abstract interpretation of operational semantics for secure information flow
7. Checking secure information flow in assembly code by abstract interpretation
8. Abstract interpretation frameworks
9. Inductive definitions, semantics and abstract interpretations
10. A lattice model of secure information flow
11. Certification of programs for secure information flow
12. The slam calculus: Programming with secrecy and integrity
13. A semantic approach to secure information flow
14. A security flow control algorithm and its denotational semantics correctness proof
15. From system f to typed assembly language
16. Jflow: Practical mostly-static information flow control
17. Information flow inference for free
18. A per model of secure information flow in sequential programs
19. Data-flow analysis is model checking of abstract interpretations
20. A type system for java bytecode subroutine
21. Eliminating covert flows with minimum typing
22. A sound type system for secure flow analysis
23. Safety checking of machine code
24. Secure information flow and cps