Secure information flow and program logics

MaRDI QIDQ7361069FDO

Authors Lennart Beringer, Martin Hofmann

Publication date 10 November 2008

Cites work

• Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
• Unnamed Publication
• Unnamed Publication
• On flow-sensitive security types
• Stack-based access control and secure information flow

This page was built for software: Secure information flow and program logics