Formal analysis of privacy requirements specifications for multi-tier applications

Travis D. Breaux, Ashwini Rao
2013 2013 21st IEEE International Requirements Engineering Conference (RE)  
Companies require data from multiple sources to develop new information systems, such as social networking, ecommerce and location-based services. Systems rely on complex, multi-stakeholder data supply-chains to deliver value. These data supply-chains have complex privacy requirements: privacy policies affecting multiple stakeholders (e.g. user, developer, company, government) regulate the collection, use and sharing of data over multiple jurisdictions (e.g. California, United States, Europe).
more » ... ncreasingly, regulators expect companies to ensure consistency between company privacy policies and company data practices. To address this problem, we propose a methodology to map policy requirements in natural language to a formal representation in Description Logic. Using the formal representation, we reason about conflicting requirements within a single policy and among multiple policies in a data supply chain. Further, we enable tracing data flows within the supplychain. We derive our methodology from an exploratory case study of Facebook platform policy. We demonstrate the feasibility of our approach in an evaluation involving Facebook, Zynga and AOL-Advertising policies. Our results identify three conflicts that exist between Facebook and Zynga policies, and one conflict within the AOL Advertising policy.
doi:10.1109/re.2013.6636701 dblp:conf/re/BreauxR13 fatcat:udm6p4t5h5ey7nfzvjjdffdacm