{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T22:23:12Z","timestamp":1767651792037,"version":"3.37.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319665948"},{"type":"electronic","value":"9783319665955"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-66595-5_3","type":"book-chapter","created":{"date-parts":[[2017,8,29]],"date-time":"2017-08-29T02:33:05Z","timestamp":1503973985000},"page":"42-59","source":"Crossref","is-referenced-by-count":5,"title":["\u201cHow Did They Know?\u201d\u2014Model-Checking for Analysis of Information Leakage in Social Networks"],"prefix":"10.1007","author":[{"given":"Louise A.","family":"Dennis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marija","family":"Slavkovik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Fisher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,30]]},"reference":[{"issue":"3","key":"3_CR1","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1504\/IJKWI.2012.050854","volume":"3","author":"R Abdulrahman","year":"2012","unstructured":"Abdulrahman, R., Alim, S., Neagu, D., Holton, D.R.W., Ridley, M.: Multi agent system approach for vulnerability analysis of online social network profiles over time. Int. J. Knowl. Web Intell. 3(3), 256\u2013286 (2012). http:\/\/dx.doi.org\/10.1504\/IJKWI.2012.050854","journal-title":"Int. J. Knowl. Web Intell."},{"key":"3_CR2","unstructured":"Belardinelli, F., Grossi, D.: On the formal verification of diffusion phenomena in open dynamic agent networks. In: Proceedings of International Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 237\u2013245 (2015). http:\/\/dl.acm.org\/citation.cfm?id=2772912"},{"issue":"8","key":"3_CR3","doi-asserted-by":"crossref","first-page":"1013","DOI":"10.1177\/0265407512443616","volume":"29","author":"EM Bryant","year":"2012","unstructured":"Bryant, E.M., Marmo, J.: The rules of facebook friendship: a two-stage examination of interaction rules in close, casual, and acquaintance friendships. J. Soc. Pers. Relat. 29(8), 1013\u20131035 (2012). http:\/\/spr.sagepub.com\/content\/29\/8\/1013.abstract","journal-title":"J. Soc. Pers. Relat."},{"key":"3_CR4","volume-title":"Model Checking","author":"E Clarke","year":"1999","unstructured":"Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"3_CR5","unstructured":"Dennis, L.A., Fisher, M., Webster, M.: Two-stage agent program verification. J. Logic Comput. (2016). http:\/\/logcom.oxfordjournals.org\/content\/early\/2015\/02\/16\/logcom.exv002.abstract"},{"issue":"1","key":"3_CR6","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/s10515-011-0088-x","volume":"19","author":"LA Dennis","year":"2012","unstructured":"Dennis, L.A., Fisher, M., Webster, M., Bordini, R.H.: Model checking agent programming languages. Autom. Softw. Eng. 19(1), 5\u201363 (2012)","journal-title":"Autom. Softw. Eng."},{"key":"3_CR7","unstructured":"Fisher, M., Dennis, L., Hepple, A.: Modular Multi-Agent Design. Technical report ULCS-09-002, Department of Computer Science, University of Liverpool (2009). http:\/\/www.csc.liv.ac.uk\/research"},{"key":"3_CR8","unstructured":"Fisher, M., Kakoudakis, T.: Flexible agent grouping in executable temporal logic. In: Proceedings of the 12th International Symposium on Languages for Intensional Programming (ISLIP). World Scientific Press (1999)"},{"key":"3_CR9","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1007\/BF01211866","volume":"6","author":"H Hansson","year":"1994","unstructured":"Hansson, H., Jonsson, B.: A logic for reasoning about time and reliability. Formal Aspects Comput. 6, 102\u2013111 (1994)","journal-title":"Formal Aspects Comput."},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-540-85058-8_5","volume-title":"Languages, Methodologies and Development Tools for Multi-Agent Systems","author":"A Hepple","year":"2008","unstructured":"Hepple, A., Dennis, L., Fisher, M.: A common basis for agent organisation in BDI languages. In: Dastani, M., Fallah Seghrouchni, A., Leite, J., Torroni, P. (eds.) LADS 2007. LNCS (LNAI), vol. 5118, pp. 71\u201388. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-85058-8_5"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Holm, H., Sommestad, T., Ekstedt, M., Nordstr\u00f6m, L.: CySeMol: a tool for cyber security analysis of enterpises. In: 22nd International Conference and Exhibition Electricity Distribution (CIRED 2013), pp. 1\u20134. IET (2013)","DOI":"10.1049\/cp.2013.1077"},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification","author":"M Kwiatkowska","year":"2011","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585\u2013591. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-22110-1_47"},{"key":"3_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-540-89598-5_11","volume-title":"Advances in Information and Computer Security","author":"I-F Lam","year":"2008","unstructured":"Lam, I.-F., Chen, K.-T., Chen, L.-J.: Involuntary information leakage in social network services. In: Matsuura, K., Fujisaki, E. (eds.) IWSEC 2008. LNCS, vol. 5312, pp. 167\u2013183. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-89598-5_11"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Lee, Y.C., Bishop, S., Okhravi, H., Rahimi, S.: Information leakage detection in distributed systems using software agents. In: Proceedings of the IEEE Symposium on Intelligent Agents, pp. 128\u2013135 (2009)","DOI":"10.1109\/IA.2009.4927510"},{"key":"3_CR15","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/j.jnca.2014.01.015","volume":"42","author":"X Lu","year":"2014","unstructured":"Lu, X., Yu, Z., Guo, B., Zhou, X.: Predicting the content dissemination trends by repost behavior modeling in mobile social networks. J. Netw. Comput. Appl. 42, 197\u2013207 (2014). http:\/\/www.sciencedirect.com\/science\/article\/pii\/S1084804514000599","journal-title":"J. Netw. Comput. Appl."},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Padget, J., Elakehal, E.E., Satoh, K., Ishikawa, F.: On requirements representation and reasoning using answer set programming. In: 1st International Workshop on Artificial Intelligence for Requirements Engineering (AIRE 2014), Karlskrona, Sweden, pp. 35\u201342 (2014)","DOI":"10.1109\/AIRE.2014.6894854"},{"key":"3_CR17","unstructured":"Padget, J.A., Satoh, K., Ishikawa, F.: A normative approach to exploring multi-agency privacy and transparency. In: Proceedings of the 7th International Workshop on Juris-informatics (JURISIN 2013), Yokohama, Japan, pp. 9\u201322 (2013)"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Pieters, W., Padget, J., Dechesne, F., Dignum, V., Aldewereld, H.: Effectiveness of qualitative and quantitative security obligations. J. Inf. Secur. Appl. 22, 3\u201316 (2015). http:\/\/www.sciencedirect.com\/science\/article\/pii\/S2214212614000805 . Special Issue on Security of Information and Networks","DOI":"10.1016\/j.jisa.2014.07.003"},{"key":"3_CR19","unstructured":"PRISM: Probabilistic Symbolic Model Checker. http:\/\/www.prismmodelchecker.org . Accessed 31 May 2013"},{"key":"3_CR20","unstructured":"Rao, A.S., Georgeff, M.P.: Modelling agents within a BDI-architecture. In: Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR). Morgan Kaufmann (1991)"},{"key":"3_CR21","unstructured":"Rao, A.S., Georgeff, M.P.: BDI agents: from theory to practice. In: Proceedings of the 1st International Conference on Multi-Agent Systems (ICMAS), pp. 312\u2013319 (1995)"},{"key":"3_CR22","unstructured":"Seligman, J., Liu, F., Girard, P.: Facebook and the epistemic logic of friendship. In: Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK) (2013). http:\/\/www.tark.org\/proceedings\/tark_jan7_13\/p.229-seligman.pdf"},{"key":"3_CR23","unstructured":"Sichman, J.S.: DEPINT: dependence-based coalition formation in an open multi-agent scenarios. J. Artif. Soc. Social Sim. 1(2) (1998)"},{"key":"3_CR24","unstructured":"Sichman, J.S., Conte, R., Demazeau, Y., Castelfranchi, C.: A Social Reasoning Mechanism Based on Dependence Networks, pp. 188\u2013192. John Wiley and Sons (1994)"},{"issue":"1","key":"3_CR25","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/s10619-014-7161-y","volume":"33","author":"M Slavkovik","year":"2015","unstructured":"Slavkovik, M., Dennis, L., Fisher, M.: An abstract formal basis for digital crowds. Distrib. Parallel Databases 33(1), 3\u201331 (2015). http:\/\/dx.doi.org\/10.1007\/s10619-014-7161-y","journal-title":"Distrib. Parallel Databases"},{"key":"3_CR26","doi-asserted-by":"crossref","unstructured":"Stirling, C.: Modal and temporal logics. In: Handbook of Logic in Computer Science. Oxford University Press (1992)","DOI":"10.1093\/oso\/9780198537618.003.0005"},{"issue":"2","key":"3_CR27","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1017\/S0269888900008122","volume":"10","author":"M Wooldridge","year":"1995","unstructured":"Wooldridge, M., Jennings, N.R.: Intelligent agents: theory and practice. Knowl. Eng. Rev. 10(2), 115\u2013152 (1995)","journal-title":"Knowl. Eng. Rev."}],"container-title":["Lecture Notes in Computer Science","Coordination, Organizations, Institutions, and Norms in Agent Systems XII"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66595-5_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,26]],"date-time":"2024-06-26T14:35:54Z","timestamp":1719412554000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66595-5_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319665948","9783319665955"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66595-5_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}