Automating security mediation placement

DOI10.1007/978-3-642-11957-6_18MaRDI QIDQ3558233zbMATH OpenOpenAlexFDO

Authors Dave King, Susmit Jha, Divya Muthukumaran, Trent Jaeger, Somesh Jha, Sanjit A. Seshia

Publication date 4 May 2010

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-11957-6_18

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Theory of software (68N99)

Recommendations

• Towards fully automatic placement of security sanitizers and declassifiers
• A type system for expressive security policies
• scientific article; zbMATH DE number 1832235
• On flow-sensitive security types
• Using security policies to write secure software

Cited in

(1)

• Towards fully automatic placement of security sanitizers and declassifiers

This page was built for publication: Automating security mediation placement

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