Skip to main content

Revani: Revising and Verifying Normative Specifications for Privacy

Kafalı, Özgur, Ajmeri, Nirav, Singh, Munindar P. (2016) Revani: Revising and Verifying Normative Specifications for Privacy. IEEE Intelligent Systems, 31 (5). pp. 8-15. ISSN 1541-1672. (doi:10.1109/MIS.2016.89) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:65853)

PDF Publisher pdf
Language: English

Restricted to Repository staff only
[thumbnail of IS-16-Revani.pdf]
Official URL:


Privacy remains a major challenge today, partly because it brings together social and technical considerations. Yet, current software engineering focuses only on the technical aspects. In contrast, the authors' approach, Revani, understands privacy from the standpoint of sociotechnical systems (STSs), with particular attention on the social elements of STSs. They specify STSs via a combination of technical mechanisms and social norms founded on accountability. Revani provides a way to formally represent mechanisms and norms and applies model checking to verify whether specified mechanisms and norms would satisfy stakeholder requirements. Additionally, Revani provides a set of design patterns and a revision tool to update an STS specification as necessary. The authors demonstrate the work of Revani on a healthcare emergency use case pertaining to patient privacy during disasters.

Item Type: Article
DOI/Identification number: 10.1109/MIS.2016.89
Subjects: Q Science > Q Science (General) > Q335 Artificial intelligence
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Ozgur Kafali
Date Deposited: 02 Feb 2018 14:22 UTC
Last Modified: 17 Aug 2022 12:22 UTC
Resource URI: (The current URI for this page, for reference purposes)
Kafalı, Özgur:
  • Depositors only (login required):


Downloads per month over past year