Attack Trees for Security and Privacy in Social Virtual Reality Learning Environments
arXiv:1911.03563 · doi:10.1109/CCNC46108.2020.9045724
Abstract
Social Virtual Reality Learning Environment (VRLE) is a novel edge computing platform for collaboration amongst distributed users. Given that VRLEs are used for critical applications (e.g., special education, public safety training), it is important to ensure security and privacy issues. In this paper, we present a novel framework to obtain quantitative assessments of threats and vulnerabilities for VRLEs. Based on the use cases from an actual social VRLE viz., vSocial, we first model the security and privacy using the attack trees. Subsequently, these attack trees are converted into stochastic timed automata representations that allow for rigorous statistical model checking. Such an analysis helps us adopt pertinent design principles such as hardening, diversity and principle of least privilege to enhance the resilience of social VRLEs. Through experiments in a vSocial case study, we demonstrate the effectiveness of our attack tree modeling with a reduction of 26% in probability of loss of integrity (security) and 80% in privacy leakage (privacy) in before and after scenarios pertaining to the adoption of the design principles.
Accepted for publication in in the IEEE Consumer Communications & Networking Conference (CCNC 2020)
References in corpus (5)
- Mobile Edge Computing, Fog et al.: A Survey and Analysis of Security Threats and Challenges
- The Effect of IoT New Features on Security and Privacy: New Threats, Existing Solutions, and Challenges Yet to Be Solved
- Stochastic Timed Automata
- Security, Privacy and Safety Risk Assessment for Virtual Reality Learning Environment Applications
- Safety, Security, and Privacy Threats Posed by Accelerating Trends in the Internet of Things
Cited by in corpus (5)
- Secure and Trustworthy Artificial Intelligence-Extended Reality (AI-XR) for Metaverses
- Security and Privacy in Virtual Reality: A Literature Survey
- Going Incognito in the Metaverse: Achieving Theoretically Optimal Privacy-Usability Tradeoffs in VR
- Timed automata as a formalism for expressing security: A survey on theory and practice
- Beyond the Headset: A Systematization of Knowledge on Extended Reality Privacy and Security in Healthcare