dblp.uni-trier.dewww.uni-trier.de

Anthony Cant

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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
9EEChuchang 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
7EEChuchang 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
2EEAnthony Cant, Katherine A. Eastaughffe, Maris A. Ozols: A Tool for Practical Reasoning about State Machine Designs. ASYNC 1996: 16-26
1EEAnthony Cant, Katherine A. Eastaughffe, Maris A. Ozols: A Tool for Practical Reasoning about State Machine Designs. Australian Software Engineering Conference 1996: 16-26

Coauthor Index

1Katherine A. Eastaughffe [1] [2] [3] [4] [5]
2Marie Henderson [6] [7] [8]
3Peter A. Lindsay [10]
4Chuchang Liu [6] [7] [8] [9]
5Maris A. Ozols [1] [2] [3] [4] [5] [6] [7] [8] [9]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)