SE547
:
Overview: Topics of Interest: Logic and Security
[7/20]
specifying security properties logically
authentication logics
proof-carrying authorization
security for distributed logic programs