Maris A. Ozols

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