SE547: Overview: Topics of Interest: Logic and Security [7/20]

• specifying security properties logically
  • authentication logics
  • proof-carrying authorization
  • security for distributed logic programs