2 Hits in 2.0 sec

Intelligent Cybersecurity Agents [Guest editors' introduction]

Jose M. Such, Natalia Criado, Laurent Vercouter, Martin Rehak
2016 IEEE Intelligent Systems  
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

Context-Based Reasoning on Privacy in Internet of Things

Nadin Kokciyan, Pinar Yolum
2017 Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence  
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