Runtime enforcement of security policies on black box reactive programs
type: Item
instance of: scholarly article
zbMATH Open document ID: 1345.68113
DOI: 10.1145/2676726.2676978
published in: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
publication date: 2016-09-29T00:00:00Z
full work available at URL: http://hdl.handle.net/11572/117138
Mathematics Subject Classification ID: 68N30
zbMATH DE Number: 6631289
zbMATH Keywords: black box mechanism
zbMATH Keywords: hypersafety policy
zbMATH Keywords: reactive program
zbMATH Keywords: runtime enforcement
MaRDI profile type: Publication
OpenAlex ID: W2155781848
title: Runtime enforcement of security policies on black box reactive programs
author: Minh Ngo
author: Fabio Massacci
author: Dimiter Milushev
author: Frank Piessens
description: scientific article; zbMATH DE number 6631289