The University of SydneyPage 1
Information Security ManagementINFO5301Week 05 –Formal Methods for Information Systems SecurityDr. Kanchana ThilakarathnaSchool of Computer Science