Exploring Trusted Data Dissemination in a Vehicular Social Network with a Formal Compositional Approach

Proceedings - International Computer Software and Applications Conference

Volumn 2, Issue , 2016, Pages 616-617

  Chen, Xiao ^a   Wang, Liangmin ^a  

^a JIANGSU UNIVERSITY   (China)

Author keywords

Privacy Preserving; Social Networks; Stochastic Process Algebra; Trust Model; VANETs

Indexed keywords

ALGEBRA; APPLICATION PROGRAMS; BEHAVIORAL RESEARCH; DATA PRIVACY; RANDOM PROCESSES; SOCIAL NETWORKING (ONLINE); STOCHASTIC MODELS; STOCHASTIC SYSTEMS;

PERFORMANCE EVALUATION PROCESS ALGEBRA; PRIVACY PRESERVING; STOCHASTIC PROCESS ALGEBRAS; TRUST MODELING; VANETS; VEHICULAR ADHOC NETWORKS (VANETS); VEHICULAR COMMUNICATIONS; VEHICULAR SOCIAL NETWORKS;

VEHICULAR AD HOC NETWORKS;

EID: 84988027183     PISSN: 07303157     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/COMPSAC.2016.114     Document Type: Conference Paper

References (5)

1. A. Festag, Standards for vehicular communicationfrom IEEE 802.11p to 5G, E&I Elektrotechnik and Informationstechnik, Vol.132, Issue 7, pp.409-416, 2015.
2. Q. Yang, H. Wang, Toward Trustworthy Vehicular Social Networks, IEEE Communication Magazine, Vol.53, Issue 8, pp.42-47, 2015.
3. V. M. Vegni, V. Loscri, A Survey on Vehicular Social Networks, IEEE Communication Surveys and Tutorials, Vol.17, No.4, pp.2397-2419, 2015.
4. J. Hillston, A compositional approach to performance modelling, Cambridge University Press, 1996.
5. X. Chen, L. Wang, J. Ding, N. Thomas, Patient Flow Scheduling and Capacity Planning in a Smart Hospital Environment, IEEE Access, Vol. 4, Issue 1, pp.1-14, 2016.