Paper Info
Title
Idea: Enforcing Security Properties by Solving Behavioural Equations.
Abstract
We present a novel theory of security property enforcement based on universal coalgebra and coinductive calculus. As an example, we show that it is possible to define sound and transparent runtime enforcers for noninterference using behavioural equations, and we preliminarily validate our approach by means of a Haskell implementation.
Year
Venue
Field
2016
ESSoS
Computer science,Coalgebra,Theoretical computer science,Coinduction,Enforcement,Haskell,Security properties
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
9
2
Name
Order
Citations
PageRank
Eric Rothstein Morris101.01
Joachim Posegga246049.12