{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T16:12:11Z","timestamp":1743091931264,"version":"3.40.3"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319312194"},{"type":"electronic","value":"9783319312200"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-31220-0_9","type":"book-chapter","created":{"date-parts":[[2016,3,12]],"date-time":"2016-03-12T08:59:52Z","timestamp":1457773192000},"page":"118-131","source":"Crossref","is-referenced-by-count":1,"title":["A Method Based on MSVL for Verification of the Social Network Privacy Policy"],"prefix":"10.1007","author":[{"given":"Xiaobing","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tao","family":"Sun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1111\/j.1083-6101.2007.00393.x","volume":"13","author":"D Boyd","year":"2007","unstructured":"Boyd, D., Ellison, N.: Social network sites: definition, history and scholarship. J. Comput. Mediated Commun. 13, 210\u2013230 (2007)","journal-title":"J. Comput. Mediated Commun."},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Gross, R., Acquisti, A.: Information revelation and privacy in online social networks. In: ACM Workshop on Privacy in the Electronic Society, pp. 71\u201380. ACM, New York (2005)","DOI":"10.1145\/1102199.1102214"},{"key":"9_CR3","first-page":"43","volume":"8","author":"Q Hu","year":"2010","unstructured":"Hu, Q., Chen, Z.: Analysis of the protection of personal privacy in social networking environment. Netinfo Secur. 8, 43\u201344 (2010)","journal-title":"Netinfo Secur."},{"key":"9_CR4","doi-asserted-by":"publisher","DOI":"10.4018\/978-1-4666-3926-3","volume-title":"Social Network Engineering for Secure Web Data and Services","author":"L Caviglione","year":"2013","unstructured":"Caviglione, L., Coccoli, M., Merlo, A.: Social Network Engineering for Secure Web Data and Services. IGI Global, Hershey (2013)"},{"key":"9_CR5","first-page":"1","volume":"60","author":"Y Zhang","year":"2011","unstructured":"Zhang, Y., Liu, Y., Zhang, H., Cheng, H., Xiong, F.: The research of information dissemination model on online social network. Acta Physica Sinica 60, 1\u20137 (2011)","journal-title":"Acta Physica Sinica"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Ding, J., Cruz, I., Li, C.: A formal model for building a social network. In: IEEE International Conference on Service Operations, Logistics, and Informatics, pp. 237\u2013242. IEEE Press, New York (2011)","DOI":"10.1109\/SOLI.2011.5986562"},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"378","DOI":"10.1007\/978-3-319-10431-7_30","volume-title":"Software Engineering and Formal Methods","author":"R Pardo","year":"2014","unstructured":"Pardo, R., Schneider, G.: A formal privacy policy framework for social networks. In: Giannakopoulou, D., Sala\u00fcn, G. (eds.) SEFM 2014. LNCS, vol. 8702, pp. 378\u2013392. Springer, Heidelberg (2014)"},{"key":"9_CR8","unstructured":"Catano, N., Kostakos, V., Oakley, I.: Poporo: a formal framework for social networking. In: 3rd International Workshop on Formal Methods for Interactive Systems, ECEASST, pp. 79\u201382, Berlin (2009)"},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/978-3-642-30561-0_2","volume-title":"Objects, Models, Components, Patterns","author":"N Cata\u00f1o","year":"2012","unstructured":"Cata\u00f1o, N., Hanvey, S., Rueda, C.: Poporo: a formal methods tool for fast-checking of social network privacy policies. In: Furia, C.A., Nanz, S. (eds.) TOOLS 2012. LNCS, vol. 7304, pp. 9\u201316. Springer, Heidelberg (2012)"},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/978-3-642-11811-1_20","volume-title":"Abstract State Machines, Alloy, B and Z","author":"N Catano","year":"2010","unstructured":"Catano, N., Rueda, C.: Matelas: a predicate calculus common formal definition for social networking. In: Frappier, M., Gl\u00e4sser, U., Khurshid, S., Laleau, R., Reeves, S. (eds.) ABZ 2010. LNCS, vol. 5977, pp. 259\u2013272. Springer, Heidelberg (2010)"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Wang, M., Duan, Z., Tian, C.: Simulation and verification of the virtual memory management system with MSVL. In: 18th IEEE International Conference on Computer Supported Cooperative Work in Design, pp. 360\u2013365. IEEE Press, New York (2014)","DOI":"10.1109\/CSCWD.2014.6846870"},{"key":"9_CR12","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/BF02944904","volume":"19","author":"Z Duan","year":"2004","unstructured":"Duan, Z., Maciej, K.: A framed temporal logic programming language. J. Comput. Sci. Technol. 19, 341\u2013351 (2004)","journal-title":"J. Comput. Sci. Technol."},{"key":"9_CR13","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/s00236-007-0062-z","volume":"45","author":"C Tian","year":"2008","unstructured":"Tian, C., Duan, Z., Zhang, L.: A decision procedure for propositional projection temporal logic with infinite models. Acta Informatica 45, 43\u201378 (2008)","journal-title":"Acta Informatica"},{"key":"9_CR14","doi-asserted-by":"publisher","first-page":"1729","DOI":"10.1016\/j.tcs.2010.12.047","volume":"412","author":"C Tian","year":"2011","unstructured":"Tian, C., Duan, Z.: Expressiveness of propositional projection temporal logic with star. Theor. Comput. Sci. 412, 1729\u20131744 (2011)","journal-title":"Theor. Comput. Sci."},{"key":"9_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1007\/978-3-319-08608-8","volume-title":"Structured Object-Oriented Formal Language and Method","author":"X Wang","year":"2014","unstructured":"Wang, X., Duan, Z., Zhao, L.: Formalizing and implementing types in MSVL. In: Liu, S., Duan, Z. (eds.) SOFL+MSVL 2013. LNCS, vol. 8332, pp. 60\u201373. Springer, Heidelberg (2014)"},{"key":"9_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-540-88194-0_12","volume-title":"Formal Methods and Software Engineering","author":"Z Duan","year":"2008","unstructured":"Duan, Z., Tian, C.: A unified model checking approach with projection temporal logic. In: Liu, S., Maibaum, T., Araki, K. (eds.) ICFEM 2008. LNCS, vol. 5256, pp. 167\u2013186. Springer, Heidelberg (2008)"}],"container-title":["Lecture Notes in Computer Science","Structured Object-Oriented Formal Language and Method"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-31220-0_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T14:27:45Z","timestamp":1559399265000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-31220-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319312194","9783319312200"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-31220-0_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}