Anthony Cant

According to our database, Anthony Cant authored at least 9 papers between 1996 and 2001.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2001

An Axiomatic Basis for Reasoning about Trust in PKIs.

Chuchang Liu, Maris A. Ozols, Anthony Cant

Proceedings of the Information Security and Privacy, 6th Australasian Conference, 2001

2000

A State-Based Model for Certificate Management Systems.

Chuchang Liu, Maris A. Ozols, Marie Henderson, Anthony Cant

Proceedings of the Public Key Cryptography, 2000

Towards Certificate Verification in a Certificate Management System.

Chuchang Liu, Maris A. Ozols, Marie Henderson, Anthony Cant

Proceedings of the 23rd Australasian Computer Science Conference (ACSC 2000), 31 January, 2000

The PKI Specification Dilemma: A Formal Solution.

Maris A. Ozols, Marie Henderson, Chuchang Liu, Anthony Cant

Proceedings of the Information Security and Privacy, 5th Australasian Conference, 2000

1999

Formalizing certificate management systems.

Chuchang Liu, Anthony Cant, Maris A. Ozols, Marie Henderson

Proceedings of the IEEE International Conference on Networks 1999, 1999

1997

XIsabelle: A System Description.

Maris A. Ozols, Anthony Cant, Katherine A. Eastaughffe

Proceedings of the Automated Deduction, 1997

Proof Tactics for a Theory of State Machines in a Graphical Environment.

Katherine A. Eastaughffe, Maris A. Ozols, Anthony Cant

Proceedings of the Automated Deduction, 1997

DOVE: A Tool for Design Oriented Verification and Evaluation.

Maris A. Ozols, Katherine A. Eastaughffe, Anthony Cant

Proceedings of the Algebraic Methodology and Software Technology, 1997

1996

A Tool for Practical Reasoning about State Machine Designs.

Anthony Cant, Katherine A. Eastaughffe, Maris A. Ozols

Proceedings of the 1996 Australian Software Engineering Conference (ASWEC '96), 1996