Sciweavers

Share
IANDC
2008

Execution monitoring enforcement under memory-limitation constraints

9 years 11 months ago
Execution monitoring enforcement under memory-limitation constraints
Recently, attention has been given to formally characterize security policies that are enforceable by different kinds of security mechanisms. A very important research problem is the characterization of security policies that are enforceable by execution monitors constrained by memory limitations. This paper contributes to give more precise answers to this research problem. To represent execution monitors constrained by memory limitations, we introduce a new class of automata, bounded history automata. Characterizing memory limitations leads us to define a precise taxonomy of security policies that are enforceable under memory-limitation constraints.
Chamseddine Talhi, Nadia Tawbi, Mourad Debbabi
Added 10 Dec 2010
Updated 10 Dec 2010
Type Journal
Year 2008
Where IANDC
Authors Chamseddine Talhi, Nadia Tawbi, Mourad Debbabi
Comments (0)
books