A. Cant

发表

A tool for practical reasoning about state machine designs

Maris A. Ozols, Anthony Cant, Katherine A. Eastaughffe, 1996, Proceedings of 1996 Australian Software Engineering Conference.

An Axiomatic Basis for Reasoning about Trust in PKIs

Chuchang Liu, Maris A. Ozols, Anthony Cant, 2001, ACISP.

A State-Based Model for Certificate Management Systems

Chuchang Liu, Marie Henderson, Maris A. Ozols, 2000, Public Key Cryptography.

DOVE: A Tool for Design Oriented Verification and Evaluation

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

A framework for assessing standards for safety critical computer-based systems

A. Cant, M. A. Ozols, K. A. Eastaughffe, 1999, Proceedings 4th IEEE International Software Engineering Standards Symposium and Forum (ISESS'99). 'Best Software Practices for the Internet Age'.