Which security policies are enforceable by runtime monitors? A survey
type: Item
instance of: scholarly article
title: Which security policies are enforceable by runtime monitors? A survey
zbMATH Open document ID: 1298.68064
author: Raphaël Khoury
author: Nadia Tawbi
published in: Computer Science Review
publication date: 2014-10-24T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68-02
zbMATH DE Number: 6361007
zbMATH Keywords: computer security
zbMATH Keywords: runtime monitoring
zbMATH Keywords: dynamic analysis
zbMATH Keywords: security policies
describes a project that uses: LoPSiL
MaRDI profile type: Publication
full work available at URL: j.cosrev.2012.01.001
OpenAlex ID: W2099064219
cites work: Monitoring of Real-Time Properties
cites work: Proving the Correctness of Multiprocess Programs
cites work: Defining liveness
cites work: Q4079524
cites work: Recognizing safety and liveness
cites work: Execution monitoring enforcement under memory-limitation constraints
cites work: Languages and scanners
cites work: On Locally Checkable Properties
cites work: Q4474160
cites work: Q4489215
cites work: A polynomial time algorithm for the local testability problem of deterministic finite automata
cites work: Computing the Order of a Locally Testable Automaton
cites work: Q5317419
cites work: Security Policies Enforcement Using Finite Edit Automata
DOI: 10.1016/J.COSREV.2012.01.001
Recommended article: Runtime enforcement monitors: Composition, synthesis, and enforcement abilities
Recommended article: Enforcing Non-safety Security Policies with Program Monitors
Recommended article: Runtime enforcement of security policies on black box reactive programs
description: scientific article; zbMATH DE number 6361007