---
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. 