Runtime Enforcement of Security Policies on Black Box Reactive Programs

DOI10.1145/2676726.2676978zbMath1345.68113OpenAlexW2155781848MaRDI QIDQ2819788

No author found.

Publication date: 29 September 2016

Published in: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/11572/117138

zbMATH Keywords

runtime enforcementblack box mechanismhypersafety policyreactive program

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Runtime enforcement of hyperproperties

This page was built for publication: Runtime Enforcement of Security Policies on Black Box Reactive Programs