Chuchang Liu

According to our database, Chuchang Liu authored at least 30 papers between 1996 and 2011.

Collaborative distances:

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

2011

Special issue on logics for intelligent agents and multi-agent systems.

Mehmet A. Orgun, Guido Governatori, Chuchang Liu, Mark Reynolds, Abdul Sattar

J. Appl. Log., 2011

An abstract dynamic access control architecture.

Chuchang Liu, Angela Billard, Benjamin Long

J. Appl. Log., 2011

2009

Modal tableaux for verifying stream authentication protocols.

Mehmet A. Orgun, Guido Governatori, Chuchang Liu

Auton. Agents Multi Agent Syst., 2009

2008

Knowledge Representation, Reasoning and Integration Using Temporal Logic with Clocks.

Mehmet A. Orgun, Chuchang Liu, Abhaya C. Nayak

Math. Comput. Sci., 2008

An Abstract Model for Dynamic Access Control Architectures.

Chuchang Liu, Angela Billard, Benjamin Long

Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2008

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

2006

Representation and integration of knowledge based on multiple granularity of time using temporal logic.

Mehmet A. Orgun, Chuchang Liu, Abhaya C. Nayak

Proceedings of the 2006 IEEE International Conference on Information Reuse and Integration, 2006

Reasoning about dynamics of trust and agent beliefs.

Mehmet A. Orgun, Chuchang Liu

Proceedings of the 2006 IEEE International Conference on Information Reuse and Integration, 2006

Analysing Stream Authentication Protocols in Autonomous Agent-Based Systems.

Mehmet A. Orgun, Ji Ma, Chuchang Liu, Guido Governatori

Proceedings of the Second International Symposium on Dependable Autonomic and Secure Computing (DASC 2006), 29 September, 2006

Towards security labelling.

Chuchang Liu, Mehmet A. Orgun

Proceedings of the Computer Science 2006, 2006

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

A parallel execution model for Chronolog.

Chuchang Liu, Mehmet A. Orgun, Kang Zhang

Comput. Syst. Sci. Eng., 2001

Logical Foundations for Reasoning about Trust in Secure Digital Communication.

Chuchang Liu

Proceedings of the AI 2001: Advances in Artificial Intelligence, 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

Verification of Reactive Systems Using Temporal Logic with Clocks.

Chuchang Liu, Mehmet A. Orgun

Theor. Comput. Sci., 1999

Formalizing certificate management systems.

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

Proceedings of the IEEE International Conference on Networks 1999, 1999

1998

Embedding a Timing System in TLC.

Chuchang Liu, Mehmet A. Orgun

Proceedings of the 5th Workshop on Temporal Representation and Reasoning, 1998

Querying Clocked Databases.

Mehmet A. Orgun, Chuchang Liu

Proceedings of the Flexible Query Answering Systems, Third International Conference, 1998

A Structural Knowledge-Based Simulation Methodology for Distributed Systems.

Chuchang Liu, Mehmet A. Orgun

Proceedings of the Eleventh International Florida Artificial Intelligence Research Society Conference, 1998

1997

BCTL: A Branching Clock Temporal Logic.

Chuchang Liu, Mehmet A. Orgun

Proceedings of the 4th International Workshop on Temporal Representation and Reasoning, 1997

A Constraint Mechanism for Knowlege Specification of Simulation Systems Based on Temporal Logic.

Chuchang Liu, Mehmet A. Orgun

Proceedings of the Advanced Topics in Artificial Intelligence, 1997

1996

Dealing with Multiple Granularity of Time in Temporal Logic Programming.

Chuchang Liu, Mehmet A. Orgun

J. Symb. Comput., 1996

Executing specifications of distributed computations with Chronolog(MC).

Chuchang Liu, Mehmet A. Orgun

Proceedings of the 1996 ACM Symposium on Applied Computing, 1996