Revani: Revising and Verifying Normative Specifications for Privacy
Revani: Revising and Verifying Normative Specifications for Privacy
复制标题
Revani：修订和验证隐私规范规范
DOI：
10.1109/mis.2016.89
复制
发表时间：
2016
影响因子：
6.4
通讯作者：
Munindar P. Singh
中科院分区：
文献类型：
--
作者：
Özgür Kafali;Nirav Ajmeri;Munindar P. Singh
隐私在今天仍然是一个重大挑战，部分原因是它将社会和技术方面的考虑结合在一起。然而，当前的软件工程只关注技术方面。相反，作者的方法Revani从社会技术系统(STSS)的角度理解隐私，特别关注STSS的社会元素。它们通过技术机制和建立在问责基础上的社会规范相结合的方式来规定STSS。Revani提供了一种正式表示机制和规范的方法，并应用模型检查来验证指定的机制和规范是否满足利益相关者的要求。此外，Revani还提供了一组设计模式和修订工具，以便在必要时更新STS规范。作者展示了Revani在一个与灾难期间患者隐私有关的医疗紧急用例上的工作。
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.
通过综合道义输入输出自动机进行需求建模
DOI：
--
发表时间：
--
期刊：
--
影响因子：
--
作者：
Emmanuel Letier (Co-Author)
通讯作者：
Emmanuel Letier (Co-Author)
大型复杂IT系统
影响因子：
22.7
作者：
Sommerville I
通讯作者：
Sommerville I