Protocol Idealization
Convert a protocol into a collection of statements
- Assumptions
- Message idealizations
- Security goals
Message idealization conveys intent of message
- Example: A -> B: {A, Kab}Kbs
- Idealized: B sees {A <-Kab-> B}Kbs
-
Note: only encrypted fields are retained in the idealization.