Title: ===== Security Policies -- Formalisation, Implementation and Correctness Analysis by Dr. Chuchang Liu (currently at DSTO, ISG member) Venue & Time: ============ Room 357 Building E6A, Macquarie University 1-2pm Talk Abstract ============= Security policy is the foundation of information security for organisations. Formal security policy can help an organisation to establish a standard for resource protection within information systems. This talk will focus on the appropriateness of using modal logics to specify and reason about security policies. I will first discuss how security policy can be formalised in the modal logic framework. Then I will introduce the DSTO task DynSec (Dynamic Security architectures) involving the implementation and analysis of security policies.