Sciweavers

Share
RV
2010
Springer
127views Hardware» more  RV 2010»
8 years 10 months ago
You Should Better Enforce Than Verify
This tutorial deals with runtime enforcement which is an extension of runtime veriļ¬cation aiming to circumvent misbehaviors of systems. After an historical overview of previous a...
Yliès Falcone
ESORICS
2010
Springer
9 years 29 days ago
A Theory of Runtime Enforcement, with Results
This paper presents a theory of runtime enforcement based on mechanism models called MRAs (Mandatory Results Automata). MRAs can monitor and transform security-relevant actions and...
Jay Ligatti, Srikar Reddy
books