Policy monitoring and a finite state automata model

Proceedings - International Conference on Computer Science and Software Engineering, CSSE 2008

Volumn 2, Issue , 2008, Pages 646-649

  Peng, Jun ^a   Chen, Xingyuan ^a   Wu, Bei ^a   Dai, Xiangdong ^a   Wang, Yongliang ^a  

^a INFORMATION ENGINEERING UNIVERSITY   (China)

Author keywords

Event; Mealy automata; Policy monitoring; Policy state; Regular expressions

Indexed keywords

EVENT; MEALY AUTOMATA; POLICY MONITORING; POLICY STATE; REGULAR EXPRESSIONS;

SOFTWARE ENGINEERING;

FINITE AUTOMATA;

EID: 79951525297     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSSE.2008.1254     Document Type: Conference Paper

References (6)

1. J. Chomicki and J. Lobo. "Monitors for History-Based Policies"[C]//Proc. of the second IEEE International Workshop on Policies for distributed Systems and Networks(POLICY'0l). London, UK, June 2001,pp.57-72.
2. Claudio Bettini. "Obligation Monitoring in Policy Management"[C]//Proc. of the third IEEE International Workshop on Policies for distributed Systems and Networks (POLICY'02). Monterey, California, Jun 2002,pp.2-12.
3. Kevin Twidle, Emil Lupu. "Ponder2: policies", nttp:/'/www- dse.doc.ic.ac.uk/policies.2007.11
4. John E. Hopcroft, Rajeev Motwani, Jeffrey d. Ullman. Introduction to Automata Theory, Languages, and Computation [M], 1st ed. 1986.
5. Yan Weiming, Wu Weimin. Data Structure [M]. TSinghua University Publication. 2003.
6. Zhou Tao. "Program Realizing of composite Events Detection Based on FA" [J].Computer Engineering 2005,31(23), pp.85-86.