Using security policies to write secure software

DOI10.3233/978-1-60750-100-8-225MaRDI QIDQ3060984zbMATH OpenFDO

Authors Andrew C. Myers

Publication date 13 December 2010

Full work available at URL https://doi.org/10.3233/978-1-60750-100-8-225

zbMATH Keywords

distributed systemsinformation flowlanguage-based security

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Distributed systems (68M14) Theory of software (68N99)

Recommendations

• Language extensions for programmable security
• Compiling Information-Flow Security to Minimal Trusted Computing Bases
• scientific article; zbMATH DE number 1832235
• Programming Languages and Systems
• Cryptographically sound implementations for typed information-flow security

Cited in

(5)

• Language extensions for programmable security
• Towards fully automatic placement of security sanitizers and declassifiers
• Survey on JavaScript security policies and their enforcement mechanisms in a web browser
• Automating security mediation placement
• Integrating security policies with computer systems by means of AOP with application to Apache FTP server

This page was built for publication: Using security policies to write secure software

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