Policy monitor model based on Mealy automata

DOI10.3724/SP.J.1087.2008.02832MaRDI QIDQ3399649zbMATH OpenOpenAlexFDO

Authors Jun Peng, Xingyuan Chen, Bei Wu, Xiang-Dong Dai, Yongliang Wang

Publication date 12 October 2009

Published in Journal of Computer Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3724/sp.j.1087.2008.02832

zbMATH Keywords

eventMealy automataregular expressionspolicy monitoringpolicy state

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Model checking usage policies
• Automata model for verifying attibuted-based access control policy in systems with a finite number of objects
• Usage Automata
• scientific article; zbMATH DE number 1728425
• Execution monitoring enforcement under memory-limitation constraints

This page was built for publication: Policy monitor model based on Mealy automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3399649)