A Tool for Practical Reasoning about State Machine Designs. - Anthony Cant; Katherine A. Eastaughffe; Maris A. Ozols (Australian Software Engineering Conference, 1996)

Covert Channel Analysis for Stubs. - Mark S. Anderson 001; Maris A. Ozols (Information Hiding, 1996)

DOVE: A Tool for Design Oriented Verification and Evaluation. - Maris A. Ozols; Katherine A. Eastaughffe; Anthony Cant (AMAST, 1997)

Proof Tactics for a Theory of State Machines in a Graphical Environment. - Katherine A. Eastaughffe; Maris A. Ozols; Anthony Cant (CADE, 1997)

XIsabelle: A System Description. - Maris A. Ozols; Anthony Cant; Katherine A. Eastaughffe (CADE, 1997)

Formalizing certificate management systems. - Chuchang Liu; Anthony Cant; Maris A. Ozols; Marie Henderson (ICON, 1999)

The PKI Specification Dilemma: A Formal Solution. - Maris A. Ozols; Marie Henderson; Chuchang Liu; Anthony Cant (ACISP, 2000)

Towards Certificate Verification in a Certificate Management System. - Chuchang Liu; Maris A. Ozols; Marie Henderson; Anthony Cant (ACSC, 2000)

A State-Based Model for Certificate Management Systems. - Chuchang Liu; Maris A. Ozols; Marie Henderson; Anthony Cant (Public Key Cryptography, 2000)

An Axiomatic Basis for Reasoning about Trust in PKIs. - Chuchang Liu; Maris A. Ozols; Anthony Cant (ACISP, 2001)

Trust in Secure Communication Systems - The Concept, Representations, and Reasoning Techniques. - Chuchang Liu; Maris A. Ozols (Australian Joint Conference on Artificial Intelligence, 2002)

Consistency of Trust Theories. - Chuchang Liu; Maris A. Ozols (Australian Joint Conference on Artificial Intelligence, 2002)

A Temporalised Belief Logic for Specifying the Dynamics of Trust for Multi-agent Systems. - Chuchang Liu; Maris A. Ozols; Mehmet A. Orgun (ASIAN, 2004)

Combining Logics for Modelling Security Policies. - Chuchang Liu; Patrick McLean; Maris A. Ozols (ACSC, 2005)

A Fibred Belief Logic for Multi-agent Systems. - Chuchang Liu; Maris A. Ozols; Mehmet A. Orgun (Australian Conference on Artificial Intelligence, 2005)

Access Control Models and Security Labelling. - Chuchang Liu; Angela Billard; Maris A. Ozols; Nikifor Jeremic (ACSC, 2007)