Name
Abstract | ||
|---|---|---|
Execution monitoring (EM) is a widely adopted class of security mechanisms. EM-enforceable security properties are usually characterized by security automata and their derivatives. However Edit automata (EA) have been recently proposed to specify more powerful EMs. Being able to feign the execution of sensitive program actions, these EMs are supposed to enforce more security properties. However, feigning program actions will usually make the program behaving in discordance with its specification since the effects of feigned actions are not reflected in the program states. In this paper we highlight this problem and show how program rewriting can be a reliable enforcement alternative. The paper contribution is mainly a semantics foundation for program rewriting enforcement of EA-enforceable security properties. |
Year | DOI | Venue |
|---|---|---|
2009 | 10.1007/978-3-642-03007-9_12 | DBSec |
Keywords | Field | DocType |
security automaton,ea-enforceable security property,execution monitoring,edit automata,rewriting-based security enforcement,sensitive program action,feigning program action,security mechanism,security property,em-enforceable security property,paper contribution,program state | Computer security,Computer science,Automaton,Enforcement,Security automata,Security properties,Rewriting,Semantics | Conference |
Volume | ISSN | Citations |
5645 | 0302-9743 | 5 |
PageRank | References | Authors |
0.47 | 7 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Hakima Ould-Slimane | 1 | 6 | 0.81 |
| Mohamed Mejri | 2 | 171 | 31.93 |
| Kamel Adi | 3 | 134 | 18.02 |