Maris A. Ozols

According to our database, Maris A. Ozols authored at least 16 papers between 1996 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

Access Control Models and Security Labelling.

Chuchang Liu, Angela Billard, Maris A. Ozols, Nikifor Jeremic

Proceedings of the Computer Science 2007. Proceedings of the Thirtieth Australasian Computer Science Conference (ACSC2007). Ballarat, Victoria, Australia, January 30, 2007

2005

A Fibred Belief Logic for Multi-agent Systems.

Chuchang Liu, Maris A. Ozols, Mehmet A. Orgun

Proceedings of the AI 2005: Advances in Artificial Intelligence, 2005

Combining Logics for Modelling Security Policies.

Chuchang Liu, Patrick McLean, Maris A. Ozols

Proceedings of the Computer Science 2005, 2005

2004

A Temporalised Belief Logic for Specifying the Dynamics of Trust for Multi-agent Systems.

Chuchang Liu, Maris A. Ozols, Mehmet A. Orgun

Proceedings of the Advances in Computer Science, 2004

2002

Consistency of Trust Theories.

Chuchang Liu, Maris A. Ozols

Proceedings of the AI 2002: Advances in Artificial Intelligence, 2002

Trust in Secure Communication Systems - The Concept, Representations, and Reasoning Techniques.

Chuchang Liu, Maris A. Ozols

Proceedings of the AI 2002: Advances in Artificial Intelligence, 2002

2001

An Axiomatic Basis for Reasoning about Trust in PKIs.

Chuchang Liu, Maris A. Ozols, Anthony Cant

Proceedings of the Information Security and Privacy, 6th Australasian Conference, 2001

2000

A State-Based Model for Certificate Management Systems.

Chuchang Liu, Maris A. Ozols, Marie Henderson, Anthony Cant

Proceedings of the Public Key Cryptography, 2000

Towards Certificate Verification in a Certificate Management System.

Chuchang Liu, Maris A. Ozols, Marie Henderson, Anthony Cant

Proceedings of the 23rd Australasian Computer Science Conference (ACSC 2000), 31 January, 2000

The PKI Specification Dilemma: A Formal Solution.

Maris A. Ozols, Marie Henderson, Chuchang Liu, Anthony Cant

Proceedings of the Information Security and Privacy, 5th Australasian Conference, 2000

1999

Formalizing certificate management systems.

Chuchang Liu, Anthony Cant, Maris A. Ozols, Marie Henderson

Proceedings of the IEEE International Conference on Networks 1999, 1999

1997

XIsabelle: A System Description.

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

Proceedings of the Automated Deduction, 1997

Proof Tactics for a Theory of State Machines in a Graphical Environment.

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

Proceedings of the Automated Deduction, 1997

DOVE: A Tool for Design Oriented Verification and Evaluation.

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

Proceedings of the Algebraic Methodology and Software Technology, 1997

1996

Covert Channel Analysis for Stubs.

Mark S. Anderson, Maris A. Ozols

Proceedings of the Information Hiding, First International Workshop, Cambridge, UK, May 30, 1996

A Tool for Practical Reasoning about State Machine Designs.

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

Proceedings of the 1996 Australian Software Engineering Conference (ASWEC '96), 1996