Maris A. Ozols

Publication Activity (10 Years)

Years Active: 1996-2007
Publications (10 Years): 0

Publications

Chuchang Liu, Angela Billard, Maris A. Ozols, Nikifor Jeremic
Access Control Models and Security Labelling. ACSC (2007)
Chuchang Liu, Patrick McLean, Maris A. Ozols
Combining Logics for Modelling Security Policies. ACSC (2005)
Chuchang Liu, Maris A. Ozols, Mehmet A. Orgun
A Fibred Belief Logic for Multi-agent Systems. Australian Conference on Artificial Intelligence (2005)
Chuchang Liu, Maris A. Ozols, Mehmet A. Orgun
A Temporalised Belief Logic for Specifying the Dynamics of Trust for Multi-agent Systems. ASIAN (2004)
Chuchang Liu, Maris A. Ozols
Consistency of Trust Theories. Australian Joint Conference on Artificial Intelligence (2002)
Chuchang Liu, Maris A. Ozols
Trust in Secure Communication Systems - The Concept, Representations, and Reasoning Techniques. Australian Joint Conference on Artificial Intelligence (2002)
Chuchang Liu, Maris A. Ozols, Anthony Cant
An Axiomatic Basis for Reasoning about Trust in PKIs. ACISP (2001)
Chuchang Liu, Maris A. Ozols, Marie Henderson, Anthony Cant
A State-Based Model for Certificate Management Systems. Public Key Cryptography (2000)
Chuchang Liu, Maris A. Ozols, Marie Henderson, Anthony Cant
Towards Certificate Verification in a Certificate Management System. ACSC (2000)
Maris A. Ozols, Marie Henderson, Chuchang Liu, Anthony Cant
The PKI Specification Dilemma: A Formal Solution. ACISP (2000)
Chuchang Liu, Anthony Cant, Maris A. Ozols, Marie Henderson
Formalizing certificate management systems. ICON (1999)
Maris A. Ozols, Katherine A. Eastaughffe, Anthony Cant
DOVE: A Tool for Design Oriented Verification and Evaluation. AMAST (1997)
Maris A. Ozols, Anthony Cant, Katherine A. Eastaughffe
XIsabelle: A System Description. CADE (1997)
Katherine A. Eastaughffe, Maris A. Ozols, Anthony Cant
Proof Tactics for a Theory of State Machines in a Graphical Environment. CADE (1997)
Mark S. Anderson, Maris A. Ozols
Covert Channel Analysis for Stubs. Information Hiding (1996)
Anthony Cant, Katherine A. Eastaughffe, Maris A. Ozols
A Tool for Practical Reasoning about State Machine Designs. Australian Software Engineering Conference (1996)