Processes are designed and modeled.
A Safety Property is a statement about a process model that states that a certain bad event will not happen. For example, when washing a car, the car will not catch on fire.
A Progress Property is a statement about a process model that states that a certain good thing will happen. For example, when washing a car, the car will become clean.
Where Safety is protection from unintentional mishaps, Security defends specifically against an Adversary.
Adversaries are modeled as well:
Who has a strong adversary? Edward Snowden
Some Adversaries:
H.B’s Duo just got triggered? Right in front of the class? Someone has his password?
Port:
“Confused Deputy Attacks”
CIA - Confidentiality, Integrity, Availability - These are Security Properties
There is a new acronym: STRIDE