Petri net based safety analysis of workflow authorization models

Journal of Computer Security

Volumn 8, Issue 2, 2000, Pages 209-240

  Atluri, Vijayalakshmi ^a   Huang, Wei Kuang ^b  

^a RUTGERS UNIVERSITY   (United States)

^b UNIVERSITY OF CONNECTICUT   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; MATHEMATICAL MODELS; PETRI NETS;

WORKFLOW AUTHORIZATION MODELS (WAM); WORKFLOW MANAGEMENT SYSTEMS (WMS);

SECURITY OF DATA;

EID: 0033685030     PISSN: 0926227X     EISSN: None     Source Type: Journal    
DOI: 10.3233/JCS-2000-82-307     Document Type: Article

References (18)