| 2008 |
|---|
| 25 | EE | Chuchang Liu,
Angela Billard,
Benjamin Long:
An Abstract Model for Dynamic Access Control Architectures.
Web Intelligence/IAT Workshops 2008: 638-642 |
| 2007 |
|---|
| 24 | EE | Chuchang Liu,
Angela Billard,
Maris A. Ozols,
Nikifor Jeremic:
Access Control Models and Security Labelling.
ACSC 2007: 181-190 |
| 2006 |
|---|
| 23 | EE | Chuchang Liu,
Mehmet A. Orgun:
Towards security labelling.
ACSC 2006: 69-76 |
| 22 | EE | Mehmet A. Orgun,
Ji Ma,
Chuchang Liu,
Guido Governatori:
Analysing Stream Authentication Protocols in Autonomous Agent-Based Systems.
DASC 2006: 325-332 |
| 21 | | Mehmet A. Orgun,
Chuchang Liu:
Reasoning about dynamics of trust and agent beliefs.
IRI 2006: 105-110 |
| 20 | | Mehmet A. Orgun,
Chuchang Liu,
Abhaya C. Nayak:
Representation and integration of knowledge based on multiple granularity of time using temporal logic.
IRI 2006: 256-261 |
| 2005 |
|---|
| 19 | EE | Chuchang Liu,
Patrick McLean,
Maris A. Ozols:
Combining Logics for Modelling Security Policies.
ACSC 2005: 323-332 |
| 18 | EE | Chuchang Liu,
Maris A. Ozols,
Mehmet A. Orgun:
A Fibred Belief Logic for Multi-agent Systems.
Australian Conference on Artificial Intelligence 2005: 29-38 |
| 2004 |
|---|
| 17 | EE | Chuchang Liu,
Maris A. Ozols,
Mehmet A. Orgun:
A Temporalised Belief Logic for Specifying the Dynamics of Trust for Multi-agent Systems.
ASIAN 2004: 142-156 |
| 2002 |
|---|
| 16 | EE | Chuchang Liu,
Maris A. Ozols:
Trust in Secure Communication Systems - The Concept, Representations, and Reasoning Techniques.
Australian Joint Conference on Artificial Intelligence 2002: 60-70 |
| 15 | EE | Chuchang Liu,
Maris A. Ozols:
Consistency of Trust Theories.
Australian Joint Conference on Artificial Intelligence 2002: 717 |
| 2001 |
|---|
| 14 | EE | Chuchang Liu,
Maris A. Ozols,
Anthony Cant:
An Axiomatic Basis for Reasoning about Trust in PKIs.
ACISP 2001: 274-291 |
| 13 | EE | Chuchang Liu:
Logical Foundations for Reasoning about Trust in Secure Digital Communication.
Australian Joint Conference on Artificial Intelligence 2001: 333-344 |
| 12 | | Chuchang Liu,
Mehmet A. Orgun,
Kang Zhang:
A parallel execution model for Chronolog.
Comput. Syst. Sci. Eng. 16(4): 215-228 (2001) |
| 2000 |
|---|
| 11 | | Maris A. Ozols,
Marie Henderson,
Chuchang Liu,
Anthony Cant:
The PKI Specification Dilemma: A Formal Solution.
ACISP 2000: 206-219 |
| 10 | EE | Chuchang Liu,
Maris A. Ozols,
Marie Henderson,
Anthony Cant:
Towards Certificate Verification in a Certificate Management System.
ACSC 2000: 150-157 |
| 9 | | Chuchang Liu,
Maris A. Ozols,
Marie Henderson,
Anthony Cant:
A State-Based Model for Certificate Management Systems.
Public Key Cryptography 2000: 75-92 |
| 1999 |
|---|
| 8 | EE | Chuchang Liu,
Mehmet A. Orgun:
Verification of Reactive Systems Using Temporal Logic with Clocks.
Theor. Comput. Sci. 220(2): 377-408 (1999) |
| 1998 |
|---|
| 7 | | Chuchang Liu,
Mehmet A. Orgun:
A Structural Knowledge-Based Simulation Methodology for Distributed Systems.
FLAIRS Conference 1998: 12-17 |
| 6 | EE | Mehmet A. Orgun,
Chuchang Liu:
Querying Clocked Databases.
FQAS 1998: 308-319 |
| 5 | EE | Chuchang Liu,
Mehmet A. Orgun:
Embedding a Timing System in TLC.
TIME 1998: 105-112 |
| 1997 |
|---|
| 4 | | Chuchang Liu,
Mehmet A. Orgun:
A Constraint Mechanism for Knowlege Specification of Simulation Systems Based on Temporal Logic.
Australian Joint Conference on Artificial Intelligence 1997: 485-495 |
| 3 | EE | Chuchang Liu,
Mehmet A. Orgun:
BCTL: A Branching Clock Temporal Logic.
TIME 1997: 140-147 |
| 1996 |
|---|
| 2 | EE | Chuchang Liu,
Mehmet A. Orgun:
Executing specifications of distributed computations with Chronolog(MC).
SAC 1996: 393-400 |
| 1 | | Chuchang Liu,
Mehmet A. Orgun:
Dealing with Multiple Granularity of Time in Temporal Logic Programming.
J. Symb. Comput. 22(5/6): 699-720 (1996) |
