Execution monitoring enforcement under memory-limitation constraints

@article{Talhi2008ExecutionME,
  title={Execution monitoring enforcement under memory-limitation constraints},
  author={Chamseddine Talhi and Nadia Tawbi and Mourad Debbabi},
  journal={Inf. Comput.},
  year={2008},
  volume={206},
  pages={158-184}
}
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… CONTINUE READING