Chuchang Liu

	2011
29		Mehmet A. Orgun, Guido Governatori, Chuchang Liu, Mark Reynolds, Abdul Sattar: Special issue on logics for intelligent agents and multi-agent systems. J. Applied Logic 9(4): 221-222 (2011)
28		Chuchang Liu, Angela Billard, Benjamin Long: An abstract dynamic access control architecture. J. Applied Logic 9(4): 239-249 (2011)
	2009
27		Mehmet A. Orgun, Guido Governatori, Chuchang Liu: Modal tableaux for verifying stream authentication protocols. Autonomous Agents and Multi-Agent Systems 19(1): 53-75 (2009)
	2008
26		Chuchang Liu, Angela Billard, Benjamin Long: An Abstract Model for Dynamic Access Control Architectures. Web Intelligence/IAT Workshops 2008: 638-642
25		Mehmet A. Orgun, Chuchang Liu, Abhaya C. Nayak: Knowledge Representation, Reasoning and Integration Using Temporal Logic with Clocks. Mathematics in Computer Science 2(1): 143-163 (2008)
	2007
24		Chuchang Liu, Angela Billard, Maris A. Ozols, Nikifor Jeremic: Access Control Models and Security Labelling. ACSC 2007: 181-190
	2006
23		Chuchang Liu, Mehmet A. Orgun: Towards security labelling. ACSC 2006: 69-76
22		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		Chuchang Liu, Patrick McLean, Maris A. Ozols: Combining Logics for Modelling Security Policies. ACSC 2005: 323-332
18		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		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		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		Chuchang Liu, Maris A. Ozols: Consistency of Trust Theories. Australian Joint Conference on Artificial Intelligence 2002: 717
	2001
14		Chuchang Liu, Maris A. Ozols, Anthony Cant: An Axiomatic Basis for Reasoning about Trust in PKIs. ACISP 2001: 274-291
13		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		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		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		Mehmet A. Orgun, Chuchang Liu: Querying Clocked Databases. FQAS 1998: 308-319
5		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		Chuchang Liu, Mehmet A. Orgun: BCTL: A Branching Clock Temporal Logic. TIME 1997: 140-147
	1996
2		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)

Coauthor Index

1	Angela Billard	[24] [26] [28]
2	Anthony Cant	[9] [10] [11] [14]
3	Guido Governatori	[22] [27] [29]
4	Marie Henderson	[9] [10] [11]
5	Nikifor Jeremic	[24]
6	Benjamin Long	[26] [28]
7	Ji Ma	[22]
8	Patrick McLean	[19]
9	Abhaya C. Nayak	[20] [25]
10	Mehmet A. Orgun	[1] [2] [3] [4] [5] [6] [7] [8] [12] [17] [18] [20] [21] [22] [23] [25] [27] [29]
11	Maris A. Ozols	[9] [10] [11] [14] [15] [16] [17] [18] [19] [24]
12	Mark Reynolds	[29]
13	Abdul Sattar	[29]
14	Kang Zhang	[12]

Last update Fri Feb 10 22:28:48 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page