Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Genericity in PAR Platform Kapitel lesen Erstes Kapitel lesen

2016 | OriginalPaper | Buchkapitel

A Method Based on MSVL for Verification of the Social Network Privacy Policy

verfasst von : Xiaobing Wang, Tao Sun

Erschienen in: Structured Object-Oriented Formal Language and Method

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

A lot of privacy issues exist in the social network for its data information is excessively public and spreads quickly. This paper presents a method of modeling the social networking system and verifying its privacy policy based on the temporal logic programming language MSVL, which is an executable subset of Projection Temporal Logic. First of all, select an appropriate social networking system and simplify it. Then, model the system with an MSVL program and describe its privacy policy with a Propositional Projection Temporal Logic formula. Next, execute the program with the formula in the modeling, simulation and verification platform of MSVL. Finally, we can improve or modify the verified privacy policy according to the results.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel Model Checking Process Scheduling over Multi-core Computer System with MSVL
Nächstes Kapitel A Case Study: SOFL + Model Checking for OSEK/VDX Application
Literatur
1.
Boyd, D., Ellison, N.: Social network sites: definition, history and scholarship. J. Comput. Mediated Commun. 13, 210–230 (2007)CrossRef
2.
Gross, R., Acquisti, A.: Information revelation and privacy in online social networks. In: ACM Workshop on Privacy in the Electronic Society, pp. 71–80. ACM, New York (2005)
3.
Hu, Q., Chen, Z.: Analysis of the protection of personal privacy in social networking environment. Netinfo Secur. 8, 43–44 (2010)
4.
Caviglione, L., Coccoli, M., Merlo, A.: Social Network Engineering for Secure Web Data and Services. IGI Global, Hershey (2013)CrossRef
5.
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–7 (2011)
6.
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–242. IEEE Press, New York (2011)
7.
Pardo, R., Schneider, G.: A formal privacy policy framework for social networks. In: Giannakopoulou, D., Salaün, G. (eds.) SEFM 2014. LNCS, vol. 8702, pp. 378–392. Springer, Heidelberg (2014)
8.
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–82, Berlin (2009)
9.
Cataño, 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–16. Springer, Heidelberg (2012)CrossRef
10.
Catano, N., Rueda, C.: Matelas: a predicate calculus common formal definition for social networking. In: Frappier, M., Glässer, U., Khurshid, S., Laleau, R., Reeves, S. (eds.) ABZ 2010. LNCS, vol. 5977, pp. 259–272. Springer, Heidelberg (2010)CrossRef
11.
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–365. IEEE Press, New York (2014)
12.
Duan, Z., Maciej, K.: A framed temporal logic programming language. J. Comput. Sci. Technol. 19, 341–351 (2004)MathSciNetCrossRef
13.
Tian, C., Duan, Z., Zhang, L.: A decision procedure for propositional projection temporal logic with infinite models. Acta Informatica 45, 43–78 (2008)MathSciNetCrossRefMATH
14.
Tian, C., Duan, Z.: Expressiveness of propositional projection temporal logic with star. Theor. Comput. Sci. 412, 1729–1744 (2011)MathSciNetCrossRefMATH
15.
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–73. Springer, Heidelberg (2014)
16.
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–186. Springer, Heidelberg (2008)CrossRef
Metadaten
Titel
A Method Based on MSVL for Verification of the Social Network Privacy Policy
verfasst von
Xiaobing Wang
Tao Sun
Copyright-Jahr
2016
Verlag
Springer International Publishing
Buch
Structured Object-Oriented Formal Language and Method

Print ISBN: 978-3-319-31219-4

Electronic ISBN: 978-3-319-31220-0

Copyright-Jahr: 2016

DOI
https://doi.org/10.1007/978-3-319-31220-0_9

Premium Partner

    Bildnachweise