Risks and Security of Internet and Systems : 18th International Conference, CRiSIS 2023, Rabat, Morocco, December 6–8, 2023, Revised Selected Papers / edited by Abderrahim Ait Wakrime, Guillermo Navarro-Arribas, Frédéric Cuppens, Nora Cuppens, Redouane Benaini.

Format:

Book

Author/Creator:

Ait Wakrime, Abderrahim.

Contributor:

Navarro-Arribas, Guillermo.

Cuppens, édéric.

Cuppens, Nora.

Benaini, Redouane.

Series:

Lecture Notes in Computer Science, 1611-3349 ; 14529

Language:

English

Subjects (All):

Data protection.

Data and Information Security.

Local Subjects:

Data and Information Security.

Physical Description:

1 online resource (294 pages)

Edition:

1st ed. 2024.

Place of Publication:

Cham : Springer Nature Switzerland : Imprint: Springer, 2024.

Summary:

This book constitutes the revised selected papers of the 18th International Conference on Risks and Security of Internet and Systems, CRiSIS 2023, which took place in Rabat, Morocco, during December 6–8, 2023. The 13 full papers and 2 short papers included in this volume were carefully reviewed and selected from 25 submissions. The papers detail security issues in internet-related applications, networks and systems. .

Contents:

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

2 Fundamentals

3 Challenges

3.1 Modeling and Communication Challenges

3.2 Security and Safety Challenges

4 Perspectives

5 Conclusion

Towards a B-Method Framework for Smart Contract Verification: The Case of ACTUS Financial Contracts

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

Security and Transportation Systems

FERROMOBILE and Security for Low Moment of Traffic Level Crossing

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

Improvement and Evaluation of Resilience of Adaptive Cruise Control Against Spoofing Attacks Using Intrusion Detection System

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

A New Efficient PUF-Based Mutual Authentication Scheme for Drones

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

Formalizing for Proving the System Safety of the Software Component for a Small Sized Guided Transport System

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

Blockchain and Distributed Ledger Technologies

Smart Contracts for a Secure and Privacy-Preserving Smart Grid

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

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

Distributed Transactive Energy Management in Microgrids Based on Blockchain

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

Blockchain-Based Exchange Place: Genericity vs Performance

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

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

VAE-GAN for Robust IoT Malware Detection and Classification in Intelligent Urban Environments: An Image Analysis Approach

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

A Novel Software Defined Security Framework for SDN

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

A Process-Centric Approach to Insider Threats Identification in Information Systems

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

Machine Learning and Security

Deep Learning-Based Outliers Detection in Compressed Trajectories

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

Experimental Toolkit for Manipulating Executable Packing

3 Toolkit

4 Experiments.

4.1 Detectors Performance

4.2 Model Training

A Collaborative Real-Time Object Detection and Data Association Framework for Autonomous Robots Using Federated Graph Neural Network

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

Author Index.

Other Format:

Print version: Ait Wakrime, Abderrahim Risks and Security of Internet and Systems

ISBN:

9783031612312

OCLC:

1440725030