Future Network Systems and Security: 4th International Conference, FNSS 2018, Paris, France, July 9–11, 2018, Proceedings (Communications in Computer and Information Science, 878)

This book constitutes the refereed proceedings of the 4th International Conference on Future Network Systems and Security, FNSS 2018, held in Paris, France, in July 2018. The 14 full papers and two short papers presented were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on secure design and verication; security, privacy and ethics; big data and applications of future network systems. Preface Organization Contents Secure Design and Verification Formal Verification of RGR-SEC, a Secured RGR Routing for UAANETs Using AVISPA, Scyther and Tamarin 1 Introduction 1.1 Motivation and Structure of Paper 2 Related Work 3 The RGR Routing Protocol (Overview) 4 RGR-SEC Protocol Scheme 5 Results 5.1 AVISPA/Scyther/Tamarin Tools 5.2 Formal Verification of RGR-SEC Protocol 6 Conclusion and Future Work References QoS-Based Sequential Detection Algorithm for Jamming Attacks in VANET 1 Introduction 1.1 Related Works 1.2 Motivations and Contributions 2 Jamming Attacks in VANET 2.1 Vulnerability of IEEE 802.11p MAC to Jamming Attacks 2.2 Attacker Model 3 System Model and Problem Formalization 3.1 Network Architecture 3.2 Problem Formalization 4 Optimization Methodology for IEEE 802.11p Configuration 4.1 Traffic Classes and Quality of Service Criteria 4.2 EDCA Quality of Service Support 5 QoS-Based Sequential Detection Algorithm (QoS-SDA) 5.1 QoS-SDA for Poisson Model 5.2 Decision Threshold Selection 6 Simulation Model and Results 7 Conclusion References Identifying Previously Requested Content by Side-Channel Timing Attack in NDN 1 Introduction 2 NDN Architecture 2.1 NDN Forwarding Model 3 Side Channel Timing Attack 3.1 RTT Calculation 3.2 Privacy in NDN 4 Countermeasures 4.1 No Caching 4.2 Artificial Delay 4.3 Random Cache 5 Implementation 6 Results 6.1 Cache Analysis 6.2 Countermeasure Algorithm 6.3 Timing Measurements 7 Related Work 8 Conclusions References Security, Privacy and Ethics A Framework to Explore Ethical Issues When Using Big Data Analytics on the Future Networked Internet of Things Abstract 1 Introduction 2 Background 2.1 Big Data Within the Network of the Future 2.2 Ethics and Big Data 2.3 Codes of Ethics 3 Ethical Considerations for IoT Big Data Analytics 3.1 Data Related Challenges 3.2 Model Related Challenges 4 Discussion 4.1 Proposing an Ethics Framework 4.2 Analyzing the Framework 5 Conclusion References References Appendix: List of Codes and Frameworks VSPReP: Verifiable, Secure and Privacy-Preserving Remote Polling with Untrusted Computing Devices 1 Introduction 2 Building Blocks 3 VSPReP Model 3.1 VSPReP Entities 3.2 Design Requirements and Security Assumptions 3.3 Threat Model 3.4 Overview of VSPReP 4 VSPReP Analysis 4.1 Security Analysis 4.2 Computational and Cryptographic Costs 5 Conclusion References Secret Key Classification Based on Electromagnetic Analysis and Feature Extraction Using Machine-Learning Approach 1 Introduction 2 Methodology 2.1 Advance Encryption Algorithm 2.2 Classification Algorithms 2.3 Properties Used as Features 2.4 Feature/Attribute Selection and Extraction 3 Experiments 3.1 Step 1 - Hardware Experimental Setup 3.2 Step 2 - Datasets Formation 3.3 Step 3 - Analysis 4 Results 4.1 Random Forest (RF) 4.2 Naive Bayes 4.3 MultiLayer Perceptron 5 Conclusion References Authentication Protocols for an Object with Dynamic RFID Tags 1 Introduction 2 Protocols for Multi-tagged Object 2.1 The Proposed Protocol 3 Alternative Approach 4 Security Analysis 5 Discussion References Big Data and Applications of Future Network Systems Deconstructing the SME Spectrum from a Knowledge Management Perspective: Proposing an Adapted SECI Model Abstract 1 Introduction 1.1 Knowledge Management Systems in SMEs 1.2 SME Heterogeneity 1.3 Research Objective 2 SME Knowledge Attrition 3 Clarifying the Difference: Adapting the SECI Model to SMEs 3.1 The Socialisation, Externalisation, Combination and Internalisation [SECI] Model 3.2 Proposing an Adapted SECI Model from the Perspective of SMEs 4 Conclusion References A New Distributed Brute-Force Password Cracking Technique Abstract 1 Introduction 1.1 Motivation 2 Windows Account Security 2.1 NTLM Hash Extraction 3 Brute-Force Engine 3.1 Calculating Total Permutations 3.2 Enumerating Permutations 3.3 Distribution Algorithm 3.4 Brute-Force Algorithm 4 User Interface 5 MPI Challenges and Optimizations 6 Results and Analysis 7 Future Work 8 Conclusions References Identifying Drawbacks in Malicious PDF Detectors 1 Introduction 2 Literature Review 3 Experiment 3.1 Datasets 3.2 Procedure 3.3 Results 4 Discussions 5 Conclusion References Shifting the Burden: An Ineffective ‘Quick Fix’ to the New Zealand Tire Problem Abstract 1 Introduction 2 ‘Shifting the Burden’ Macro-dynamic 3 The ‘Quick Fix’ Micro-dynamic of ‘Shifting the Burden’ 4 Solutions 4.1 Scoping: A Controlled Quota 4.2 Habits: Recognition and Incentivizing 5 Conclusion References A New Method for Sharing the Public Keys in Opportunistic Networks 1 Introduction 2 Related Works 3 Challenges of Routing Algorithms in OppNet 3.1 Context Based Routing 3.2 Content Based Routing 4 Problem Statement 5 Proposed Model 6 Evaluation 7 Comparison with Previous Solutions 8 Conclusion References Wearable IoT Security and Privacy: A Review from Technology and Policy Perspective 1 Introduction 2 Research Methodology 3 Wearable IoT, Technology and Devices 3.1 Wearable IoT 3.2 Devices to Enhance User Experience 3.3 Wearable Electroactive Fabrics and Bio-monitoring Devices 3.4 Self-tracking Technologies in the Workplace 3.5 Wearable Medical Devices 4 Security and Privacy Issues in IoT 4.1 Different Types of Cyber-Attacks on IoT 4.2 Three Main Types of Attacks on Wearable Devices 5 Conclusion References Thalos: Secure File Storage in Untrusted Clouds 1 Introduction 2 Using Thalos 2.1 Protecting Master Keys in Thalos 3 From Theory to Practice: Thalos Software Description 3.1 Server Side Architecture 3.2 Client Side Architecture 4 Dynamic Views 5 The External Perspective 6 Related Work 7 Conclusions References Ubiquitous Individual Information Systems 1 Introduction 2 Research Questions 3 Research Approach References Security and Privacy Protection for eHealth Data Abstract 1 Introduction 2 Methodology 3 Findings 3.1 Issues in Accessing Electronic Health Record (EHR) 3.2 Attacks on the Host Environment 3.3 Internet Security Issues 3.4 System Security Issues 3.5 Traffic Analysis Issues 3.6 Operations Security Issues 4 Conclusion References Author Index