Formal Consistency Verification Between BPEL Process and Privacy Policy

Download Now
Provided by: University of New Orleans Fund
Topic: Big Data
Format: PDF
Despite the increased privacy concerns in the Internet, not much attention has been paid into enforcing privacy policies of organizations that collect and consume personal data using automatic means (e.g., Web services). In this paper, the authors propose a graph-transformation based framework to check whether an internal business process (implemented using a standard Web service composition language such as BPEL) adheres to the organization's privacy policies. The graph-based specification formalism combines the advantages of an intuitive visual framework with rigorous semantical foundation that allows consistency checking between a business process and privacy policy.
Download Now

Find By Topic