|
Search the dblp DataBase
Anthony Cant:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Maris A. Ozols, Katherine A. Eastaughffe, Anthony Cant
DOVE: A Tool for Design Oriented Verification and Evaluation. [Citation Graph (1, 0)][DBLP] AMAST, 1997, pp:574-575 [Conf]
- Chuchang Liu, Maris A. Ozols, Anthony Cant
An Axiomatic Basis for Reasoning about Trust in PKIs. [Citation Graph (0, 0)][DBLP] ACISP, 2001, pp:274-291 [Conf]
- Maris A. Ozols, Marie Henderson, Chuchang Liu, Anthony Cant
The PKI Specification Dilemma: A Formal Solution. [Citation Graph (0, 0)][DBLP] ACISP, 2000, pp:206-219 [Conf]
- Chuchang Liu, Maris A. Ozols, Marie Henderson, Anthony Cant
Towards Certificate Verification in a Certificate Management System. [Citation Graph (0, 0)][DBLP] ACSC, 2000, pp:150-157 [Conf]
- Anthony Cant, Katherine A. Eastaughffe, Maris A. Ozols
A Tool for Practical Reasoning about State Machine Designs. [Citation Graph (0, 0)][DBLP] Australian Software Engineering Conference, 1996, pp:16-26 [Conf]
- Anthony Cant, Katherine A. Eastaughffe, Maris A. Ozols
A Tool for Practical Reasoning about State Machine Designs. [Citation Graph (0, 0)][DBLP] ASYNC, 1996, pp:16-26 [Conf]
- Katherine A. Eastaughffe, Maris A. Ozols, Anthony Cant
Proof Tactics for a Theory of State Machines in a Graphical Environment. [Citation Graph (0, 0)][DBLP] CADE, 1997, pp:366-379 [Conf]
- Maris A. Ozols, Anthony Cant, Katherine A. Eastaughffe
XIsabelle: A System Description. [Citation Graph (0, 0)][DBLP] CADE, 1997, pp:400-403 [Conf]
- Chuchang Liu, Maris A. Ozols, Marie Henderson, Anthony Cant
A State-Based Model for Certificate Management Systems. [Citation Graph (0, 0)][DBLP] Public Key Cryptography, 2000, pp:75-92 [Conf]
Search in 0.001secs, Finished in 0.002secs
|