Automating security mediation placement

DOI10.1007/978-3-642-11957-6_18zbMATH Open1260.68122OpenAlexW1576477450MaRDI QIDQ3558233FDOQ3558233

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

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

Mathematics Subject Classification ID

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

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)