Chuchang Liu

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