Specification and verification of secure business transaction systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2540 LNCS, Issue , 2002, Pages 240-252

  Alagar, Vangalur S ^a   Periyasamy, Kasi ^b  

^a Gina Cody School of Engineering and Computer Science   (Canada)

^b UNIVERSITY OF WISCONSIN LA CROSSE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33644538463     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36137-5_18     Document Type: Conference Paper

References (5)

1. V. S. Alagar, K. Periyasamy, Specification of Software Systems, Springer-Verlag, New York, 1998. 243.
2. V. Atluri, W.K. Huang, An Authorization Model for Workflows, In Proceedings of the Fourth ESORICS, LNCS: Eds. E. Bertino, H. Kurth, G. Martella, and E. Montolivo, Rome, Italy, 1996, pp. 44-64. 251.
3. E. Bertino, E. Ferrari, V. Atluri, A Flexible Model for the Specification and Enforcement of Role-Based Authorizations in Workflow Management Systems, In Proceedings of the 2nd ACM Workshop on Role-Based Access Control (RBAC- 97), ACM Press, New York, 1997, pp. 6-7. 251.
4. D. Harel, Statecharts: A visual formalism for complex systems, Science of Computer Programming, 8(3):231-274, June 1987. 240, 247.
5. F. Mili, On the Formalization of Business Rules: Generic Rules for Composition, and Containment, In Proceedings of the Second ECOOP Workshop on Precise Behavioral Semantics, June 1998, pp. 122-129. 251.