Anthony Cant
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
1997–2001
Best venue rank
Australasian
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2001 | ACISP | An Axiomatic Basis for Reasoning about Trust in PKIs. | Chuchang Liu, Maris A. Ozols, Anthony Cant |
| 2000 | ACISP | The PKI Specification Dilemma: A Formal Solution. | Maris A. Ozols, Marie Henderson, Chuchang Liu, Anthony Cant |
| 2000 | PKC | A State-Based Model for Certificate Management Systems. | Chuchang Liu, Maris A. Ozols, Marie Henderson, Anthony Cant |
| 1997 | CADE | Proof Tactics for a Theory of State Machines in a Graphical Environment. | Katherine A. Eastaughffe, Maris A. Ozols, Anthony Cant |
| 1997 | CADE | XIsabelle: A System Description. | Maris A. Ozols, Anthony Cant, Katherine A. Eastaughffe |