Search the dblp DataBase
Maris A. Ozols :
[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 , Patrick McLean , Maris A. Ozols Combining Logics for Modelling Security Policies. [Citation Graph (0, 0)][DBLP ] ACSC, 2005, pp:323-332 [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 ] Chuchang Liu , Maris A. Ozols , Mehmet A. Orgun A Temporalised Belief Logic for Specifying the Dynamics of Trust for Multi-agent Systems. [Citation Graph (0, 0)][DBLP ] ASIAN, 2004, pp:142-156 [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 ] Chuchang Liu , Maris A. Ozols Trust in Secure Communication Systems - The Concept, Representations, and Reasoning Techniques. [Citation Graph (0, 0)][DBLP ] Australian Joint Conference on Artificial Intelligence, 2002, pp:60-70 [Conf ] Chuchang Liu , Maris A. Ozols Consistency of Trust Theories. [Citation Graph (0, 0)][DBLP ] Australian Joint Conference on Artificial Intelligence, 2002, pp:717- [Conf ] Chuchang Liu , Maris A. Ozols , Mehmet A. Orgun A Fibred Belief Logic for Multi-agent Systems. [Citation Graph (0, 0)][DBLP ] Australian Conference on Artificial Intelligence, 2005, pp:29-38 [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 ] Mark S. Anderson , Maris A. Ozols Covert Channel Analysis for Stubs. [Citation Graph (0, 0)][DBLP ] Information Hiding, 1996, pp:95-113 [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 ] Access Control Models and Security Labelling. [Citation Graph (, )][DBLP ] Search in 0.004secs, Finished in 0.005secs