Specification and Verification of Secure Business Transaction Systems

Authors:
Vangalur S. Alagar;Kasilingam Periyasamy
Affiliations:
-;-
Venue:
SOFSEM '02 Proceedings of the 29th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Year:
2002

Statecharts: A visual formalism for complex systems

Science of Computer Programming
A flexible model supporting the specification and enforcement of role-based authorization in workflow management systems

RBAC '97 Proceedings of the second ACM workshop on Role-based access control
Specification of Software Systems

Specification of Software Systems
An Authorization Model for Workflows

ESORICS '96 Proceedings of the 4th European Symposium on Research in Computer Security: Computer Security

Collaborative business and data privacy: toward a cyber-control?

Computers in Industry - Special issue: The digital factory: an instrument of the present and the future
Collaborative business and data privacy: Toward a cyber-control?

Computers in Industry - Special issue: The digital factory: an instrument of the present and the future

Hi-index	0.00