Risks and Security of Internet and Systems

Name: Risks and Security of Internet and Systems | 18th International Conference, CRiSIS 2023, Rabat, Morocco, December 6-8, 2023, Revised Selected Papers
Brand: Springer
Price: 69.54 EUR
Availability: OnlineOnly

18th International Conference, CRiSIS 2023, Rabat, Morocco, December 6-8, 2023, Revised Selected Papers

Abderrahim Ait Wakrime Guillermo Navarro-Arribas Frédéric Cuppens Nora Cuppens Redouane Benaini(Editor)

Springer (Publisher)

Published on 15. June 2024

X, 290 pages

E-Book

PDF with digital watermarking

System requirements

978-3-031-61231-2 (ISBN)

€69.54incl. 7% vat

System requirements

for PDF with digital watermarking

E-Book Single Licence

Available for download

Description

More details

Other editions

Content

Intro
Preface
Organization
Contents
Keynote Talks
A Review of the Progressive Odyssey of AI-Driven Intrusion Detection Within Embedded Systems
1 Introduction
2 Background
3 Review of Recent IDSs for ES
3.1 Host-Based IDS
3.2 Network-Based IDS
4 Current State of IDS in ES
5 Key Challenges and Trends in IDS for ES
6 Research Gaps and Opportunities
7 Conclusion
References
Securing Autonomous Vehicles: Fundamentals, Challenges, and Perspectives
1 Introduction
2 Fundamentals
3 Challenges
3.1 Modeling and Communication Challenges
3.2 Security and Safety Challenges
4 Perspectives
5 Conclusion
References
Towards a B-Method Framework for Smart Contract Verification: The Case of ACTUS Financial Contracts
1 Introduction
2 Smart Contracts Scalability and the Rationale Behind the FeverTokens Open-Source Package-Oriented Framework
3 Overview of the Actus Standard and Financial Contracts
4 A Preliminary B-Method Framework for Financial Smart Contracts Under the Actus Standard
5 Conclusion and Perspectives
References
Security and Transportation Systems
FERROMOBILE and Security for Low Moment of Traffic Level Crossing
1 Introduction
2 Objectives of the ``Ferromobile'' Project
3 A Solution to Ensure Safe Crossing for ``Ferromobiles''
3.1 Overview of the Global Architecture
3.2 Wireless Communication Abilities and Contributions
3.3 Cryptography
4 Conclusion and Perspectives
References
Improvement and Evaluation of Resilience of Adaptive Cruise Control Against Spoofing Attacks Using Intrusion Detection System
1 Introduction
2 Related Work
2.1 Cyber-Attacks on Adaptive Cruise Control
2.2 Cyber-Resilience of Adaptive Cruise Control
3 Extending Adaptive Cruise Control with ML-Based Intrusion Detection System
3.1 Overview of the Adaptive Cruise Control
3.2 Architecture of the Extended Adaptive Cruise Control
4 Evaluation of the ACC-IDS Using CARLA Simulation
4.1 Simulation Setup
4.2 Result and Analysis of the Simulation Experiments
4.3 Impacts and Limitations of the Study
5 Conclusion
References
A New Efficient PUF-Based Mutual Authentication Scheme for Drones
1 Introduction
2 Related Work
3 Preliminaries
4 The Proposed Scheme
4.1 System Model
4.2 Description of the Proposed Scheme
5 Security Analysis
5.1 Privacy Model
5.2 Formal Security Analysis
5.3 Informal Security Analysis
6 Practical Results and Comparison
7 Conclusion
References
Formalizing for Proving the System Safety of the Software Component for a Small Sized Guided Transport System
1 Introduction
2 Autonomous Train Control
3 Railway Signalling Systems
3.1 Danger Related to Train Movements
3.2 The Protective Safety Distance in an ATP System
4 Hybrid System Modeling with Event-B
4.1 Event-B Modeling of Hybrid Train Dynamics
4.2 Potential Solutions
5 Managing Uncertainties of a Real Cyber Physical System
5.1 Traction/Brake Control
5.2 Previous Step Towards Implementation
6 Conclusion
References
Blockchain and Distributed Ledger Technologies
Smart Contracts for a Secure and Privacy-Preserving Smart Grid
1 Introduction
1.1 Related Work
1.2 Contribution and Plan of This Paper
2 Architecture and System Overview
2.1 General Architecture
2.2 Overview of the Proposal
3 The Proposed System in Detail
3.1 Main Smart Contract
3.2 Group Smart Contracts
3.3 Initialization
3.4 Price Calculation
3.5 Energy Trading
3.6 Debt Liquidation
4 Dealing with Security and Privacy Threats
5 Conclusions and Future Work
References
EHRVault: A Secure, Patient-Centric, Privacy-Preserving and Blockchain-Based Platform for EHR Management
1 Introduction
2 Related Work
3 Preliminaries
3.1 PHI Standards and Regulations
3.2 Security Requirements for Health Data Management
3.3 Blockchain Technology
3.4 IPFS
3.5 Anonymization Technique
3.6 Cryptographic Primitives
4 EHRVault Platform Description
4.1 Architecture
4.2 System Functionalities
5 Discussion
6 Conclusion
References
Distributed Transactive Energy Management in Microgrids Based on Blockchain
1 Introduction
2 Background
2.1 Integration of DERs in Microgrids
2.2 Blockchain Structure
3 Related Work
3.1 Blockchain in Energy Trading
3.2 Blockchain for Secure Data Exchange, Aggregation, and Privacy
3.3 Learned Lessons
4 A Distributed Energy Trading Management Framework
4.1 Energy System Structure
4.2 Blockchain Energy System Structure
5 Implementation and Experimental Results
5.1 Tool's Implementation
5.2 Case Study on a 55 Bus Distribution Network
5.3 Results
6 Conclusion
References
Blockchain-Based Exchange Place: Genericity vs Performance
1 Introduction
2 Blockchain Based Marketplaces
2.1 Blockchain Background
2.2 Current Status of Blockchain-Based Marketplace Solutions
3 ODEP
3.1 Ecosystem and Architecture
3.2 On-Chain/Off-Chain Approach
4 Implementation
4.1 Network Configuration
4.2 Smart Contracts Design
5 Performance Evaluation
5.1 Throughput
5.2 Gas Used
5.3 Block Size
6 Conclusions
References
Security Approaches and Infrastructure
A Privacy-Preserving Infrastructure to Monitor Encrypted DNS Logs
1 Introduction and Motivation
2 DNS Use Case
2.1 Description
2.2 Security Properties
3 Searchable Encryption
4 Application of Searchable Encryption to DNS Logs
4.1 Studied Schemes
4.2 Platform Implementation
5 Evaluation
5.1 Security
5.2 Benchmarking
5.3 Discussion About Token Collision
5.4 Summary
6 Related Work
7 Conclusion
References
VAE-GAN for Robust IoT Malware Detection and Classification in Intelligent Urban Environments: An Image Analysis Approach
1 Introduction
2 Related Work
3 Methods
3.1 Visualisation of Software Characteristics
3.2 Generative Attack Network
3.3 Generative Models: AE and Variations
3.4 Transfer Learning-Based Discriminator
4 Experiment and Discussion
4.1 Baselines
4.2 Reconstruction Results
4.3 Classification Results
4.4 Discussion: Practicality and Applicability
5 Conclusion
References
A Novel Software Defined Security Framework for SDN
1 Introduction
2 Related Work
3 Proposed SDS Framework
3.1 Architecture
3.2 Implementation
4 Results and Discussion
4.1 Firewall Application
4.2 DDoS Detection and Prevention Application
5 Conclusion
References
A Process-Centric Approach to Insider Threats Identification in Information Systems
1 Introduction
2 Separation of Concerns
2.1 Functional Modeling
2.2 Security Modeling
3 Dealing with Business Processes
3.1 Animation in B4MSecure
3.2 A CSPB Approach
3.3 Insider Threats Identification
4 Related Works
5 Conclusion
References
Machine Learning and Security
Deep Learning-Based Outliers Detection in Compressed Trajectories
1 Introduction
2 Anomalies Detection and Trajectories Compression Algorithms
2.1 Anomalies Detection: GM-VSAE and ATD-RNN
2.2 Trajectories Compression Algorithms
3 Experimental Setup
4 Results
5 Conclusion
References
Experimental Toolkit for Manipulating Executable Packing
1 Introduction
2 Background
3 Toolkit
4 Experiments
4.1 Detectors Performance
4.2 Model Training
5 Conclusion
References
A Collaborative Real-Time Object Detection and Data Association Framework for Autonomous Robots Using Federated Graph Neural Network
1 Introduction
2 CoRODDA Framework
3 Experimental Results
3.1 GNN Model Architecture
3.2 Enhancements via FL
3.3 Integration with YOLOv5 and Performance Insights
4 Conclusion
References
Author Index

System requirements

Save as PDF Copy link into clipboard

Schweitzer Fachinformationen

Risks and Security of Internet and Systems

Description

More details

Other editions

Additional editions

Content

System requirements