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)

PDF - Publisher pdf
Restricted to Repository staff only
Contact us about this Publication Download (385kB)
[img]
Official URL
http://dx.doi.org/10.1109/MIS.2016.89

Abstract

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: Faculties > Sciences > School of Computing > Security Group
Depositing User: Ozgur Kafali
Date Deposited: 02 Feb 2018 14:22 UTC
Last Modified: 24 Jul 2019 10:17 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/65853 (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Downloads

Downloads per month over past year