Dennis, Louise A.; Slavkovik, Marija; Fisher, Michael

doi:10.1007/978-3-319-66595-5\_3

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

@inproceedings{coin2016,
	author = {Louise A. Dennis and Marija Slavkovik and Michael Fisher},
	bibsource = {dblp computer science bibliography, https://dblp.org},
	biburl = {https://dblp.org/rec/conf/atal/DennisSF16.bib},
	booktitle = {Coordination, Organizations, Institutions, and Norms in Agent Systems {XII} - {COIN} 2016 International Workshops, COIN@AAMAS, Singapore, Singapore, May 9, 2016, COIN@ECAI, The Hague, The Netherlands, August 30, 2016, Revised Selected Papers},
	doi = {10.1007/978-3-319-66595-5\_3},
	editor = {Stephen Cranefield and Samhar Mahmoud and Julian A. Padget and Ana Paula Rocha},
	pages = {42--59},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	timestamp = {Wed, 13 Nov 2019 13:52:41 +0100},
	title = {"{How Did They Know?}" - Model-Checking for Analysis of Information Leakage in Social Networks},
	url = {https://doi.org/10.1007/978-3-319-66595-5\_3},
	volume = {10315},
	year = {2016},
	bdsk-url-1 = {https://doi.org/10.1007/978-3-319-66595-5%5C_3}}