Formal Verification of Business Workflows and Role Based Access Control Systems

Authors:
Arnaud Dury;Sergiy Boroday;Alexandre Petrenko;Volkmar Lotz
Affiliations:
Computer Research Institute of Montreal (CRIM);Computer Research Institute of Montreal (CRIM);Computer Research Institute of Montreal (CRIM);SAP Labs France
Venue:
SECUREWARE '07 Proceedings of the The International Conference on Emerging Security Information, Systems, and Technologies
Year:
2007

Citing 0
Cited 5

Capturing Semantics for Information Security and Privacy Assurance

UIC '08 Proceedings of the 5th international conference on Ubiquitous Intelligence and Computing
Model checking security policy model using both UML static and dynamic diagrams

Proceedings of the 4th international conference on Security of information and networks
An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints

Journal of Computer and System Sciences
Model checking of security-sensitive business processes

FAST'09 Proceedings of the 6th international conference on Formal Aspects in Security and Trust
Automated analysis of infinite state workflows with access control policies

STM'11 Proceedings of the 7th international conference on Security and Trust Management

Quantified Score

Hi-index	0.00

Visualization

Abstract

The fairness of reputation and trust management systems is rarely taken into account in their evaluation due to the prevalence of the paradigm of the Prisoner's Dilemma. Yet, considering fairness explicitly leads to a different design of reputation algorithms. ...