"How Did They Know?"-Model-Checking for Analysis of Information Leakage in Social Networks

First Author: Dennis L
Attributed to:  Verifiable Autonomy funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-319-66595-5_3

Publication URI: http://dx.doi.org/10.1007/978-3-319-66595-5_3

Type: Book Chapter

Book Title: Coordination, Organizations, Institutions, and Norms in Agent Systems XII (2017)

Page Reference: 42-59