The European H2020 project VESSEDIA (Verification Engineering of Safety and SEcurity critical Dynamic Industrial Applications).
Armand PuccettiPublished in: DSD (2019)
Keyphrases
- industrial applications
- systems engineering
- european project
- eu funded
- high security
- artificial intelligence
- framework programme
- quality function deployment
- computational modeling
- case study
- european union
- security requirements
- software development
- security policies
- cryptographic protocols
- model checking
- computer science
- statistical databases
- artificial neural networks
- access control
- industrial systems
- safety analysis
- european countries
- project management
- security level
- engineering design
- security mechanisms
- systems development
- formal analysis
- security issues