25 lines
1.2 KiB
Markdown
Executable File
25 lines
1.2 KiB
Markdown
Executable File
---
|
|
creation date: 2024-08-06
|
|
modification date: Tuesday 6th August 2024 15:43:49
|
|
tags:
|
|
- Writing
|
|
---
|
|
### Notable Links
|
|
[[2. (SR-CIST) Workshop on Security and Resiliency of Critical Infrastructure and Space Technologies]]
|
|
[[What is a vision paper (Q)]]
|
|
[[Control Authority Diagram and Management Program]]
|
|
|
|
## Doodling
|
|
### Abstract
|
|
|
|
### Capabilities:
|
|
1. Compartmentalize components within a system. Allow users to go deeper and shallower into components, just like a simulink system, or even folders
|
|
2. This does a couple of things.
|
|
1. Provides a visual map for understanding security and system arcitechture
|
|
2. makes this network of proof and assurance more navigable. Just having proofs isn't really enough. There is synergy that must happen between componnets.
|
|
3. The point about being able to manage the security by managing the proofs is going to be a bottleneck in the future
|
|
### State of the Art
|
|
Proofs are still an emerging field in software oriented cases, while understanding of physical dynamics is a more understood field. These two systems clash together in a violent manner. The implementation must faithfully represent the abstract, mathematical controller. That being said, The interactions
|
|
|
|
## Paper Outline
|
|
1. |