Chuchang Liu

Publication Activity (10 Years)

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

Publications

Chuchang Liu, Angela Billard, Benjamin Long
An abstract dynamic access control architecture. J. Appl. Log. 9 (4) (2011)
Mehmet A. Orgun, Guido Governatori, Chuchang Liu, Mark Reynolds, Abdul Sattar
Special issue on logics for intelligent agents and multi-agent systems. J. Appl. Log. 9 (4) (2011)
Mehmet A. Orgun, Guido Governatori, Chuchang Liu
Modal tableaux for verifying stream authentication protocols. Auton. Agents Multi Agent Syst. 19 (1) (2009)
Mehmet A. Orgun, Chuchang Liu, Abhaya C. Nayak
Knowledge Representation, Reasoning and Integration Using Temporal Logic with Clocks. Math. Comput. Sci. 2 (1) (2008)
Chuchang Liu, Angela Billard, Benjamin Long
An Abstract Model for Dynamic Access Control Architectures. Web Intelligence/IAT Workshops (2008)
Chuchang Liu, Angela Billard, Maris A. Ozols, Nikifor Jeremic
Access Control Models and Security Labelling. ACSC (2007)
Mehmet A. Orgun, Ji Ma, Chuchang Liu, Guido Governatori
Analysing Stream Authentication Protocols in Autonomous Agent-Based Systems. DASC (2006)
Chuchang Liu, Mehmet A. Orgun
Towards security labelling. ACSC (2006)
Mehmet A. Orgun, Chuchang Liu, Abhaya C. Nayak
Representation and integration of knowledge based on multiple granularity of time using temporal logic. IRI (2006)
Mehmet A. Orgun, Chuchang Liu
Reasoning about dynamics of trust and agent beliefs. IRI (2006)
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
Logical Foundations for Reasoning about Trust in Secure Digital Communication. Australian Joint Conference on Artificial Intelligence (2001)
Chuchang Liu, Mehmet A. Orgun, Kang Zhang
A parallel execution model for Chronolog. Comput. Syst. Sci. Eng. 16 (4) (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, Mehmet A. Orgun
Verification of Reactive Systems Using Temporal Logic with Clocks. Theor. Comput. Sci. 220 (2) (1999)
Chuchang Liu, Anthony Cant, Maris A. Ozols, Marie Henderson
Formalizing certificate management systems. ICON (1999)
Chuchang Liu, Mehmet A. Orgun
Embedding a Timing System in TLC. TIME (1998)
Mehmet A. Orgun, Chuchang Liu
Querying Clocked Databases. FQAS (1998)
Chuchang Liu, Mehmet A. Orgun
A Structural Knowledge-Based Simulation Methodology for Distributed Systems. FLAIRS Conference (1998)
Chuchang Liu, Mehmet A. Orgun
BCTL: A Branching Clock Temporal Logic. TIME (1997)
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)
Chuchang Liu, Mehmet A. Orgun
Executing specifications of distributed computations with Chronolog(MC). SAC (1996)
Chuchang Liu, Mehmet A. Orgun
Dealing with Multiple Granularity of Time in Temporal Logic Programming. J. Symb. Comput. 22 (5/6) (1996)