443 search results - page 13 / 89 » Compensation-Aware Runtime Monitoring |
112
Voted
CSFW
2010
IEEE
15 years 4 months ago
2010
IEEE
In recent years it has been shown that dynamic monitoring can be used to soundly enforce information flow policies. For programs distributed in source or bytecode form, the use o...
124
Voted
ECOWS
2009
Springer
15 years 4 months ago
2009
Springer
— Web services exposing run-time behaviour that deviates from their behavioural specifications represent a major threat to the sustainability of a service-oriented ecosystem. It ...
109
Voted
IEEECIT
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—The increasing need for continuously available software systems has raised two key-issues: self-adaptation and design evolution. The former one requires software systems...
94
Voted
ESORICS
2010
Springer
15 years 1 months ago
2010
Springer
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...
90
Voted
PDP
2009
IEEE
15 years 7 months ago
2009
IEEE
PsycoTrace is a set of tools to protect a process P from attacks that alter P self as specified by its source code. P self is specified in terms of legal traces of system calls ...