Formal Analysis Approach for Multi-layered System Safety and Security Co-engineering.
Megha QuamaraGabriel PedrozaBrahim HamidPublished in: EDCC Workshops (2022)
Keyphrases
- formal analysis
- multi layered
- ban logic
- neural learning
- formal methods
- engineering design
- security issues
- authentication protocol
- statistical databases
- safety critical
- artificial intelligence
- security requirements
- information security
- access control
- agent model
- machine learning
- intrusion detection
- security protocols
- knowledge base