From Hippocratic databases to Secure Tropos: A computer-aided re-engineering approach

F. Massacci, J. Mylopoulos, N. Zannone

Research output: Contribution to JournalArticleAcademicpeer-review


Privacy protection is a growing concern in the marketplace. Yet, privacy requirements and mechanisms are usually retro-fitted into a pre-existing design which may not be able to accommodate them due to potential conflicts with functional requirements. We propose a procedure for automatically extracting privacy requirements from databases supporting access control mechanisms for personal data (hereafter Hippocratic databases) and representing them in the Secure Tropos framework where tools are available for checking the correctness and consistency of privacy requirements. The procedure is illustrated with a case study. © World Scientific Publishing Company.
Original languageEnglish
Pages (from-to)265-284
JournalInternational Journal of Software Engineering and Knowledge Engineering
Issue number2
Publication statusPublished - Apr 2007
Externally publishedYes


Dive into the research topics of 'From Hippocratic databases to Secure Tropos: A computer-aided re-engineering approach'. Together they form a unique fingerprint.

Cite this