Towards Adding Safety and Security Properties to the Industry 4.0 Asset Administration Shell.

Ali Mohammad Hosseini Thilo Sauter Wolfgang Kastner

Published in: WFCS (2021)

Keyphrases

security properties
formal model
security analysis
security requirements
security protocols
cryptographic protocols
case study
security vulnerabilities
databases
public key
formal methods
artificial intelligence
information systems
software engineering
information security