Title of article :
Execution monitoring enforcement under memory-limitation constraints
Author/Authors :
Chamseddine Talhi، نويسنده , , Nadia Tawbi، نويسنده , , Mourad Debbabi، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2008
Keywords :
Security policies , Execution monitoring , Edit automata , Bounded history automata , Locally testable properties
Journal title :
Information and Computation
Journal title :
Information and Computation