SE547: Overview: Topics (tentative) [1/20]

• Security Properties / Security Automata
• Access Control
• Information Flow
• Crytographic Protocols
• More TBD