Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures

Authors:
Michele Barletta;Silvio Ranise;Luca Vigano
Affiliations:
-;-;-
Venue:
CSE '09 Proceedings of the 2009 International Conference on Computational Science and Engineering - Volume 03
Year:
2009

Citing 0
Cited 4

A declarative two-level framework to specify and verify workflow and authorization policies in service-oriented architectures

Service Oriented Computing and Applications
InDico: information flow analysis of business processes for confidentiality requirements

STM'10 Proceedings of the 6th international conference on Security and trust management
A systematic review on security in Process-Aware Information Systems - Constitution, challenges, and future directions

Information and Software Technology
Scalable automated symbolic analysis of administrative role-based access control policies by SMT solving

Journal of Computer Security - STM'10

Quantified Score

Hi-index	0.00

Visualization

Abstract

To protect user privacy in the search engine context, most current approaches, such as private information retrieval and privacy preserving data mining, require a server-side deployment, thus users have little control over their data and privacy. In ...