SE547: Overview: Topics of Interest: Foundations [5/20]

• what is security?
  • safety, liveness, secrecy, authenticity, integrity
• what principles are available that help us build secure systems?
  • open design, economy of mechanism, minimal trusted computing base, etc