A systematic approach to static access control

DOI10.1007/3-540-45309-1_3MaRDI QIDQ2763691zbMATH OpenFDO

Authors François Pottier, Christian Skalka, Scott F. Smith

Publication date 22 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45309-1_3

zbMATH Keywords

JDK access controlSecurity Architecture

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Computing methodologies and applications (68U99)

Recommendations

• A static type system for JVM access control
• Stack-based access control and secure information flow
• A simple semantics and static analysis for stack inspection
• Java access protection through typing
• A type system for the Java bytecode language and verifier

Cited in

(17)

• Controlling file access with types
• Static analysis for proactive security
• Reflections on MOPs, components, and Java security
• Roles, stacks, histories: a triple for Hoare
• Roles, stacks, histories: A triple for Hoare
• Defense in Depth Formulation and Usage in Dynamic Access Control
• Java access protection through typing
• A limitation study into access decoupling
• An abstract dynamic access control architecture
• Stack-based access control and secure information flow
• scientific article; zbMATH DE number 1931734 (Why is no real title available?)
• A simple semantics and static analysis for stack inspection
• A static type system for JVM access control
• Type-based security for mobile computing integrity, secrecy and liveness
• The structure of a type-safe operating system.
• From flow logic to static type systems for coordination languages
• Reasoning about safety properties in a JVM-like environment

This page was built for publication: A systematic approach to static access control

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2763691)