Privacy Verification Using Ontologies

  title={Privacy Verification Using Ontologies},
  author={Martin Kost and Johann-Christoph Freytag and Frank Kargl and Antonio Kung},
  journal={2011 Sixth International Conference on Availability, Reliability and Security},
As information systems extensively exchange information between participants, privacy concerns may arise from its potential misuse. A Privacy by Design (PbD) approach considers privacy requirements of different stakeholders during the design and the implementation of a system. Currently, a comprehensive approach for privacy requirement engineering, implementation, and verification is largely missing. This paper extends current design methods by additional (formal) steps which take advantage of… CONTINUE READING
Highly Cited
This paper has 26 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.
Showing 1-10 of 17 extracted citations

Information Systems Security and Privacy

Communications in Computer and Information Science • 2015
View 9 Excerpts
Highly Influenced

Domain ontologies in the context of Requirements Engineering

2015 IEEE/ACS 12th International Conference of Computer Systems and Applications (AICCSA) • 2015

Model-driven privacy assessment in the smart grid

2015 International Conference on Information Systems Security and Privacy (ICISSP) • 2015
View 1 Excerpt


Publications referenced by this paper.
Showing 1-10 of 22 references

Privacy-by-design in ITS applications

2011 IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks • 2011

Mandatory Enforcement of Privacy Policies using Trusted Computing Principles

AAAI Spring Symposium: Intelligent Information Privacy Management • 2010
View 2 Excerpts

Formal methods for privacy , ” in Formal Methods , ser . Lecture Notes in Computer Science ,

A. Cavalcanti, D. Dams
Proc . s of the IEEE Symposium on Security and Privacy • 2009

Ontologies and software engineering

D.Gasevic, N.Kaviani, M.Milanovic
Handbook on Ontologies, S. Staab and R. Studer, Eds. Springer Publishing Company, 2009. • 2009

Privacy engineering

S. Spiekermann, L. Cranor
IEEE Transact. on Software Engin., vol. 35, no. 1, 2009. • 2009
View 1 Excerpt

Similar Papers

Loading similar papers…