1 Table of Contents: “... Approach to Dynamic and Adaptive Service Brokering Using Modes -- Integrated Security Context Management...”

2 Table of Contents: “... Protocol using FDR -- Automatic compositional verification of some Security properties -- Permutable agents...”

3 Table of Contents: “... Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device Application...”

4 Table of Contents: “... the Line -- X-by-Construction - Track Introduction -- (Some) security by construction through a LangSec...”

5 Table of Contents: “... Models and Perspectives for Security Testing.- Test-Case Design by Feature Trees.- Model-Based Static...”

6 Table of Contents: “... -- Mitigating Security Risks through Attack Strategies Exploration -- Statistical Model Checking of Processor...”

7 Table of Contents: “...) -- Opportunities and Challenges in Monitoring Cyber-physical Systems Security -- Migrating Monitors + ABE: A...”

8 Table of Contents: “... Control Faults in Distributed Transaction Systems -- Towards automated testing of the Internet of Things...”

9 Table of Contents: “... and Middleware Platforms in a Model-Driven Development Approach for Secure Predictive Maintenance Systems...”

10 Table of Contents: “... to Combine Automatic and Interactive Verification Techniques -- Security and Privacy of Protocols...”

11 Table of Contents: “... -- SecureChange: Security Engineering for Lifelong Evolvable Systems -- 3DLife: Bringing the Media Internet...”

12 Table of Contents: “... Telecommunications / Web World in Smart Environments of the Internet of Things -- Towards More Adaptive Voice...”

13 Table of Contents: “... -- Combining Risk Analysis and Security Testing -- Risk-Based Vulnerability Testing Using Security Test...”

14 Table of Contents: “...Data Science Challenges to Improve Quality Assurance of Internet of Things Applications -- Model...”

15 Table of Contents: “... emulation -- Adaptive Security Policies -- Capturing Dynamicity and Uncertainty in Security and Trust via...”

16 Table of Contents: “...) -- Benchmarking Open-Source Static Analyzers for Security Testing for C -- Verification of Liveness and Safety...”

17 Table of Contents: “... between Möbius and Uppaal SMC -- Fluid Model-Checking in UPPAAL for Covid-19 -- Improving Secure...”

18 Table of Contents: “...Security -- Static Detection of DoS Vulnerabilities in Programs that use Regular Expressions...”

19 “...The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International...”