cyber-resilience

There are 2 repositories under cyber-resilience topic.

tsherburne / de-textbook
Digital Engineering (DE) Digital Textbook
digital-engineering cyber-security jupyter-notebook stpa mbse cyber-resilience
Language:Python 4
tsherburne / scre-profile
Secure Cyber Resilient Engineering - Cameo Profiles
cyber-resilience mbse
3
ncatanoc / cyber_resilience
Program synthesis for cyber-resilience. Generation of certified code for architectural tactics, for which we use Event-B and EventB2Java. We show how testing can be used to animate and check the generated code.
cyber-resilience cybersecurity architectural-patterns autonomous-vehicles event-b formal-methods security linear-temporal-logic ltl
1
ncatanoc / cyber_resilience_python
The goal of this project is to bring most of Event-B and refinement calculus into Python
cyber-resilience cyber-security formal-methods pyhon formal-verification weakest-preconditions autonomous-vehicles platooning linear-temporal-logic ltl
Language:Jupyter Notebook 1
sc2ro
UNU-Macau / sc2ro
Smart Citizen Cyber Resilience Ontology
ontology cybersecurity resilience citizens smart-city-zens cyber-resilience
0