| 2005 |
|---|
| 11 | | Anthony Cant:
Safety Critical Systems and Software 2004, Ninth Australian Workshop on Safety-Related Programmable Systems, (SCS2004), Brisbane, Australia, October 2004
Australian Computer Society 2005 |
| 2004 |
|---|
| 10 | | Peter A. Lindsay,
Anthony Cant:
Safety Critical Systems and Software 2003, Eigth Australian Workshop on Safety-Related Programmable Systems, (SCS2003), Canberra, ACT, Australia, 9-10 October 2003
Australian Computer Society 2004 |
| 2001 |
|---|
| 9 | EE | Chuchang Liu,
Maris A. Ozols,
Anthony Cant:
An Axiomatic Basis for Reasoning about Trust in PKIs.
ACISP 2001: 274-291 |
| 2000 |
|---|
| 8 | | Maris A. Ozols,
Marie Henderson,
Chuchang Liu,
Anthony Cant:
The PKI Specification Dilemma: A Formal Solution.
ACISP 2000: 206-219 |
| 7 | EE | Chuchang Liu,
Maris A. Ozols,
Marie Henderson,
Anthony Cant:
Towards Certificate Verification in a Certificate Management System.
ACSC 2000: 150-157 |
| 6 | | Chuchang Liu,
Maris A. Ozols,
Marie Henderson,
Anthony Cant:
A State-Based Model for Certificate Management Systems.
Public Key Cryptography 2000: 75-92 |
| 1997 |
|---|
| 5 | | Maris A. Ozols,
Katherine A. Eastaughffe,
Anthony Cant:
DOVE: A Tool for Design Oriented Verification and Evaluation.
AMAST 1997: 574-575 |
| 4 | | Katherine A. Eastaughffe,
Maris A. Ozols,
Anthony Cant:
Proof Tactics for a Theory of State Machines in a Graphical Environment.
CADE 1997: 366-379 |
| 3 | | Maris A. Ozols,
Anthony Cant,
Katherine A. Eastaughffe:
XIsabelle: A System Description.
CADE 1997: 400-403 |
| 1996 |
|---|
| 2 | EE | Anthony Cant,
Katherine A. Eastaughffe,
Maris A. Ozols:
A Tool for Practical Reasoning about State Machine Designs.
ASYNC 1996: 16-26 |
| 1 | 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 |
