| 2007 |
|---|
| 16 | EE | Chuchang Liu,
Angela Billard,
Maris A. Ozols,
Nikifor Jeremic:
Access Control Models and Security Labelling.
ACSC 2007: 181-190 |
| 2005 |
|---|
| 15 | EE | Chuchang Liu,
Patrick McLean,
Maris A. Ozols:
Combining Logics for Modelling Security Policies.
ACSC 2005: 323-332 |
| 14 | EE | Chuchang Liu,
Maris A. Ozols,
Mehmet A. Orgun:
A Fibred Belief Logic for Multi-agent Systems.
Australian Conference on Artificial Intelligence 2005: 29-38 |
| 2004 |
|---|
| 13 | EE | Chuchang Liu,
Maris A. Ozols,
Mehmet A. Orgun:
A Temporalised Belief Logic for Specifying the Dynamics of Trust for Multi-agent Systems.
ASIAN 2004: 142-156 |
| 2002 |
|---|
| 12 | EE | Chuchang Liu,
Maris A. Ozols:
Trust in Secure Communication Systems - The Concept, Representations, and Reasoning Techniques.
Australian Joint Conference on Artificial Intelligence 2002: 60-70 |
| 11 | EE | Chuchang Liu,
Maris A. Ozols:
Consistency of Trust Theories.
Australian Joint Conference on Artificial Intelligence 2002: 717 |
| 2001 |
|---|
| 10 | EE | Chuchang Liu,
Maris A. Ozols,
Anthony Cant:
An Axiomatic Basis for Reasoning about Trust in PKIs.
ACISP 2001: 274-291 |
| 2000 |
|---|
| 9 | | Maris A. Ozols,
Marie Henderson,
Chuchang Liu,
Anthony Cant:
The PKI Specification Dilemma: A Formal Solution.
ACISP 2000: 206-219 |
| 8 | EE | Chuchang Liu,
Maris A. Ozols,
Marie Henderson,
Anthony Cant:
Towards Certificate Verification in a Certificate Management System.
ACSC 2000: 150-157 |
| 7 | | Chuchang Liu,
Maris A. Ozols,
Marie Henderson,
Anthony Cant:
A State-Based Model for Certificate Management Systems.
Public Key Cryptography 2000: 75-92 |
| 1997 |
|---|
| 6 | | Maris A. Ozols,
Katherine A. Eastaughffe,
Anthony Cant:
DOVE: A Tool for Design Oriented Verification and Evaluation.
AMAST 1997: 574-575 |
| 5 | | Katherine A. Eastaughffe,
Maris A. Ozols,
Anthony Cant:
Proof Tactics for a Theory of State Machines in a Graphical Environment.
CADE 1997: 366-379 |
| 4 | | Maris A. Ozols,
Anthony Cant,
Katherine A. Eastaughffe:
XIsabelle: A System Description.
CADE 1997: 400-403 |
| 1996 |
|---|
| 3 | EE | Anthony Cant,
Katherine A. Eastaughffe,
Maris A. Ozols:
A Tool for Practical Reasoning about State Machine Designs.
ASYNC 1996: 16-26 |
| 2 | EE | Anthony Cant,
Katherine A. Eastaughffe,
Maris A. Ozols:
A Tool for Practical Reasoning about State Machine Designs.
Australian Software Engineering Conference 1996: 16-26 |
| 1 | | Mark S. Anderson,
Maris A. Ozols:
Covert Channel Analysis for Stubs.
Information Hiding 1996: 95-113 |
