Anthony Cant

Publication Activity (10 Years)

Years Active: 1996-2001
Publications (10 Years): 0

Publications

Chuchang Liu, Maris A. Ozols, Anthony Cant
An Axiomatic Basis for Reasoning about Trust in PKIs. ACISP (2001)
Chuchang Liu, Maris A. Ozols, Marie Henderson, Anthony Cant
A State-Based Model for Certificate Management Systems. Public Key Cryptography (2000)
Chuchang Liu, Maris A. Ozols, Marie Henderson, Anthony Cant
Towards Certificate Verification in a Certificate Management System. ACSC (2000)
Maris A. Ozols, Marie Henderson, Chuchang Liu, Anthony Cant
The PKI Specification Dilemma: A Formal Solution. ACISP (2000)
Chuchang Liu, Anthony Cant, Maris A. Ozols, Marie Henderson
Formalizing certificate management systems. ICON (1999)
Maris A. Ozols, Katherine A. Eastaughffe, Anthony Cant
DOVE: A Tool for Design Oriented Verification and Evaluation. AMAST (1997)
Maris A. Ozols, Anthony Cant, Katherine A. Eastaughffe
XIsabelle: A System Description. CADE (1997)
Katherine A. Eastaughffe, Maris A. Ozols, Anthony Cant
Proof Tactics for a Theory of State Machines in a Graphical Environment. CADE (1997)
Anthony Cant, Katherine A. Eastaughffe, Maris A. Ozols
A Tool for Practical Reasoning about State Machine Designs. Australian Software Engineering Conference (1996)