Work

Program Transformations under Dynamic Security Policies

Year: 2004

Type: article

Abstract: A new static analysis is proposed for programming languages with access control based on stack inspection. This analysis allows for various security-aware program optimizations. A novel feature of our static analysis is that it is parametric with respect to the security policy in force, so it needs not to be recomputed when the access rights are dynamically updated. Keywords: Language-based security, Access control, Static analysis, Compiler optimizations

Source: Electronic Notes in Theoretical Computer Science

DOI: 10.1016/j.entcs.2004.02.003

Authors: Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari

Institution: University of Pisa

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

OpenAlex ID: W2058305829

FWCI: 1.594

Cites: 31

Cited by: 3

Related to: 10