Privacy verification using ontologies

Proceedings of the 2011 6th International Conference on Availability, Reliability and Security, ARES 2011

Volumn , Issue , 2011, Pages 627-632

  Kost, Martin ^a   Freytag, Johann Christoph ^a   Kargl, Frank ^b   Kung, Antonio ^c  

^a HUMBOLDT UNIVERSITY   (Germany)

^b UNIVERSITY OF TWENTE   (Netherlands)

^c Trialog   (France)

Author keywords

Privacy analysis; Privacy ontologies; Privacy requirements; Privacy verification

Indexed keywords

DESIGN METHOD; PRIVACY ANALYSIS; PRIVACY CONCERNS; PRIVACY REQUIREMENTS;

DATA PRIVACY; DESIGN; INFORMATION SYSTEMS; RELIABILITY ANALYSIS;

ONTOLOGY;

EID: 80455162330     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ARES.2011.97     Document Type: Conference Paper

References (22)

1. A. Cavoukian (Information & Privacy Commissioner Ontario, Canada), "Privacy-by-design," http://www.privacybydesign.ca/.
2. I. Linden Consulting, "Privacy impact assessment," http://www.ico.gov.uk/for organisations/data protection/topic guides/privacy impact assessment.aspx, 2007.
3. S. Spiekermann and L. Cranor, "Privacy engineering," IEEE Transact. on Software Engin., vol. 35, no. 1, 2009.
4. S. F. Gürses, C. Troncoso, and C. Diaz, "Engineering privacy by design," in Computers, Privacy & Data Protection, 2011.
5. F. Kargl, F. Schaub, and S. Dietzel, "Mandatory Enforcement of Privacy Policies using Trusted Computing Principles," in Intelligent Information Privacy Maangement Symposium, AAAI Spring Symposium Series. Stanford: AAAI, 2010.
6. A. Kung, J.C.Freytag, and F.Kargl, "Privacy-by-design in its applications," in 2nd Int. Workshop on Data Security and PrivAcy in wireless Networks (D-SPAN), Lucca, 2011.
7. E. Kavakli, "Goal oriented requirements engineering: a unifying framework," Requirements Engineering Journal, Springer-Verlag London, vol. 6, 2002.
8. Q. He and A. I. Anton, "A framework for modeling privacy requirements in role engineering," Proc.s of the 9th Int. Works. on Requirements Engin.: REFSQ, 2003.
9. Y. Asnar, P. Giorgini, and J. Mylopoulos, "Goal-driven risk assessment in requirements engineering," Requirements Engineering, 2010.
10. S. Mauw and M. Oostdijk, "Foundations of attack trees," in ICISC, ser. Lecture Notes in Computer Science, D. Won and S. Kim, Eds., vol. 3935. Springer, 2005.
11. Amer Aijaz et al., "Attacks on inter-vehicle communication systems - an analysis," in 3rd Int. Workshop on Intelligent Transportation (WIT), March 2006.
12. E. M. Clarke and E. A. Emerson, "Synthesis of synchronization skeletons for branching time temporal logic," in In Logic of Programs: Workshop. Springer-Verlag, 1981.
13. M. Tschantz and J. Wing, "Formal methods for privacy," in Formal Methods, ser. Lecture Notes in Computer Science, A. Cavalcanti and D. Dams, Eds. Springer, 2009, vol. 5850.
14. "Platform for Privacy Preferences (P3P) Project," http://www. w3.org/P3P.
15. Barth, Adam et al., "Privacy and contextual integrity: Framework and applications," in Proc.s of the IEEE Symposium on Security and Privacy. IEEE Computer Society, 2006.
16. X. Fu, "Conformance verification of privacy policies," in Proc. of the 7th intern. conf. on Web services and formal methods, ser. WS-FM'10. Springer, 2011.
17. D. Métayer, "A formal privacy management framework," in Formal Aspects in Security and Trust, P. Degano, J. Guttman, and F. Martinelli, Eds. Springer-Verlag, 2009.
18. D.Gasevic, N.Kaviani, and M.Milanovic, "Ontologies and software engineering," in Handbook on Ontologies, S. Staab and R. Studer, Eds. Springer Publishing Company, 2009.
19. S. W. Lee and R. A. Gandhi, "Ontology-based active requirements engineering framework," Asia-Pacific Software Engineering Conf., vol. 0, 2005.
20. O. Hartig, M. Kost, and J.-C. Freytag, "Automatic component selection with semantic technologies," Proc.s of the 4th Int. Works. on Semantic Web Enabled Software Engin., 2008.
21. "Carnegie mellon cylab project nudging users towards privacy," http://www.cylab.cmu.edu/index.html.
22. "Preciosa (Privacy Enabled Capability in Co-operative Systems and Safety Applications) FP7 project." 2010.