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) |