A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
In particular, "Revani: Revising and Verifying Normative Specifications for Privacy" presents a formal representa-T his issue is part of a joint special issue with IEEE Internet Computing. ... Research on normative multiagent systems, 4 which combine models for normative systems with models for multiagent systems, offers an ideal paradigm for addressing sociotechnical challenges in cyber-physical ...doi:10.1109/mis.2016.79 fatcat:33a5t23r5zfprnkxtxbzf4ojme
Conversely, it is best if each entity can reason on the privacy using norms and context autonomously. ... It is not clear which information will be shared with whom, for which intents, under which conditions. Existing approaches to privacy advocate policies to be in place to regulate privacy. ... Kafalı et al. develop Revani, where they provide patterns to revise normative privacy specifications and use model checking to verify privacy requirements [Kafalı et al., 2016] . ...doi:10.24963/ijcai.2017/660 dblp:conf/ijcai/KokciyanY17 fatcat:cti2hasc5jhxpn257hg6nliolm