{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T04:08:08Z","timestamp":1746331688503,"version":"3.40.4"},"publisher-location":"Cham","reference-count":10,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319104300"},{"type":"electronic","value":"9783319104317"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10431-7_30","type":"book-chapter","created":{"date-parts":[[2014,8,4]],"date-time":"2014-08-04T09:27:28Z","timestamp":1407144448000},"page":"378-392","source":"Crossref","is-referenced-by-count":17,"title":["A Formal Privacy Policy Framework for Social Networks"],"prefix":"10.1007","author":[{"given":"Ra\u00fal","family":"Pardo","sequence":"first","affiliation":[]},{"given":"Gerardo","family":"Schneider","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2-3","key":"30_CR1","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/s10506-011-9114-3","volume":"19","author":"G. Aucher","year":"2011","unstructured":"Aucher, G., Boella, G., Torre, L.: A dynamic logic for privacy compliance. Artificial Intelligence and Law\u00a019(2-3), 187\u2013231 (2011)","journal-title":"Artificial Intelligence and Law"},{"key":"30_CR2","doi-asserted-by":"crossref","unstructured":"Bruns, G., Fong, P.W., Siahaan, I., Huth, M.: Relationship-based access control: its expression and enforcement through hybrid logic. In: CODASPY 2012, pp. 117\u2013124. ACM (2012)","DOI":"10.1145\/2133601.2133616"},{"key":"30_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-25560-1_1","volume-title":"Information Systems Security","author":"A. Datta","year":"2011","unstructured":"Datta, A., Blocki, J., Christin, N., DeYoung, H., Garg, D., Jia, L., Kaynar, D.K., Sinha, A.: Understanding and protecting privacy: Formal semantics and principled audit mechanisms. In: Jajodia, S., Mazumdar, C. (eds.) ICISS 2011. LNCS, vol.\u00a07093, pp. 1\u201327. Springer, Heidelberg (2011)"},{"key":"30_CR4","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about knowledge","author":"R. Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about knowledge, vol.\u00a04. MIT Press, Cambridge (1995)"},{"key":"30_CR5","doi-asserted-by":"crossref","unstructured":"Fong, P.W.: Relationship-based access control: Protection model and policy language. In: CODASPY 2011, pp. 191\u2013202. ACM (2011)","DOI":"10.1145\/1943513.1943539"},{"key":"30_CR6","doi-asserted-by":"crossref","unstructured":"Greschbach, B., Kreitz, G., Buchegger, S.: The devil is in the metadata - new privacy challenges in decentralised online social networks. In: PerCom Workshops, pp. 333\u2013339. IEEE (2012)","DOI":"10.1109\/PerComW.2012.6197506"},{"key":"30_CR7","doi-asserted-by":"crossref","unstructured":"Le M\u00e9tayer, D.: Privacy by design: A formal framework for the analysis of architectural choices. In: CODASPY 2013, pp. 95\u2013104. ACM (2013)","DOI":"10.1145\/2435349.2435361"},{"key":"30_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/BFb0055019","volume-title":"Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications","author":"A. Lomuscio","year":"1998","unstructured":"Lomuscio, A., Ryan, M.: On the relation between interpreted systems and kripke models. In: Wobcke, W., Pagnucco, M., Zhang, C. (eds.) Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications. LNCS (LNAI), vol.\u00a01441, pp. 46\u201359. Springer, Heidelberg (1998)"},{"key":"30_CR9","series-title":"LNAI","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1007\/978-3-642-25832-9_52","volume-title":"AI 2011: Advances in Artificial Intelligence","author":"J. Ruan","year":"2011","unstructured":"Ruan, J., Thielscher, M.: A logic for knowledge flow in social networks. In: Wang, D., Reynolds, M. (eds.) AI 2011. LNCS (LNAI), vol.\u00a07106, pp. 511\u2013520. Springer, Heidelberg (2011)"},{"key":"30_CR10","unstructured":"Seligman, J., Liu, F., Girard, P.: Facebook and the epistemic logic of friendship. In: TARK 2013 (2013)"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10431-7_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T01:56:33Z","timestamp":1746323793000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-10431-7_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319104300","9783319104317"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10431-7_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}