Login / Signup
Facilitating Safety and Security Co-design and Formal Analysis in Multi-layered System Modeling.
Megha Quamara
Gabriel Pedroza
Brahim Hamid
Published in:
DASC/PiCom/CBDCom/CyberSciTech (2022)
Keyphrases
</>
multi layered
formal analysis
ban logic
neural learning
formal methods
access control
information security
agent model
artificial intelligence
database systems
natural language
knowledge acquisition
intrusion detection
security policies
statistical databases