相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。Multi-Cloud Performance and Security Driven Federated Workflow Management
Matthew Dickinson et al.
IEEE TRANSACTIONS ON CLOUD COMPUTING (2021)
Immersive Virtual Reality Attacks and the Human Joystick
Peter Casey et al.
IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING (2021)
Security and Privacy Approaches in Mixed Reality: A Literature Survey
Jaybie A. De Guzman et al.
ACM COMPUTING SURVEYS (2020)
The Effect of IoT New Features on Security and Privacy: New Threats, Existing Solutions, and Challenges Yet to Be Solved
Wei Zhou et al.
IEEE INTERNET OF THINGS JOURNAL (2019)
A symbolic model checking approach in formal verification of distributed systems
Alireza Souri et al.
HUMAN-CENTRIC COMPUTING AND INFORMATION SCIENCES (2019)
Security, Privacy and Safety Risk Assessment for Virtual Reality Learning Environment Applications
Aniket Gulhane et al.
2019 16TH IEEE ANNUAL CONSUMER COMMUNICATIONS & NETWORKING CONFERENCE (CCNC) (2019)
Virtual reality sickness questionnaire (VRSQ): Motion sickness measurement index in a virtual reality environment
Hyun K. Kim et al.
APPLIED ERGONOMICS (2018)
IoT security: Review, blockchain solutions, and open challenges
Minhaj Ahmad Khan et al.
FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE (2018)
Mobile edge computing, Fog et al.: A survey and analysis of security threats and challenges
Rodrigo Roman et al.
FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE (2018)
A comparative study of cybersickness during exposure to virtual reality and classic motion sickness: are they different?
Alireza Mazloumi Gavgani et al.
JOURNAL OF APPLIED PHYSIOLOGY (2018)
Quantitative security and safety analysis with attack-fault trees
Rajesh Kumar et al.
2017 IEEE 18TH INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING (HASE 2017) (2017)
Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees
Nathalie Cauchi et al.
BUILDSYS'17: PROCEEDINGS OF THE 4TH ACM INTERNATIONAL CONFERENCE ON SYSTEMS FOR ENERGY-EFFICIENT BUILT ENVIRONMENTS (2017)
Use of physiological signals to predict cybersickness
Mark S. Dennison et al.
DISPLAYS (2016)
Review on cybersickness in applications and visual displays
Lisa Rebenitsch et al.
VIRTUAL REALITY (2016)
On Attacker Models and Profiles for Cyber-Physical Systems
Marco Rocchetto et al.
COMPUTER SECURITY - ESORICS 2016, PT II (2016)
UPPAAL SMC tutorial
Alexandre David et al.
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER (2015)
Fault Trees on a Diet - Automated Reduction by Graph Rewriting
Sebastian Junges et al.
DEPENDABLE SOFTWARE ENGINEERING: THEORIES, TOOLS, AND APPLICATIONS, SETTA 2015 (2015)
Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools
Enno Ruijters et al.
COMPUTER SCIENCE REVIEW (2015)
STOCHASTIC TIMED AUTOMATA
Nathalie Bertrand et al.
LOGICAL METHODS IN COMPUTER SCIENCE (2014)
DAG-based attack and defense modeling: Don't miss the forest for the attack trees
Barbara Kordy et al.
COMPUTER SCIENCE REVIEW (2014)
Model checking for probabilistic timed automata
Gethin Norman et al.
FORMAL METHODS IN SYSTEM DESIGN (2013)
Approximation Metrics Based on Probabilistic Bisimulations for General State-Space Markov Processes: A Survey
Alessandro Abate
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE (2013)