dblp.uni-trier.dewww.uni-trier.de

Chuchang Liu

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
25EEChuchang Liu, Angela Billard, Benjamin Long: An Abstract Model for Dynamic Access Control Architectures. Web Intelligence/IAT Workshops 2008: 638-642
2007
24EEChuchang Liu, Angela Billard, Maris A. Ozols, Nikifor Jeremic: Access Control Models and Security Labelling. ACSC 2007: 181-190
2006
23EEChuchang Liu, Mehmet A. Orgun: Towards security labelling. ACSC 2006: 69-76
22EEMehmet 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
19EEChuchang Liu, Patrick McLean, Maris A. Ozols: Combining Logics for Modelling Security Policies. ACSC 2005: 323-332
18EEChuchang Liu, Maris A. Ozols, Mehmet A. Orgun: A Fibred Belief Logic for Multi-agent Systems. Australian Conference on Artificial Intelligence 2005: 29-38
2004
17EEChuchang 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
16EEChuchang Liu, Maris A. Ozols: Trust in Secure Communication Systems - The Concept, Representations, and Reasoning Techniques. Australian Joint Conference on Artificial Intelligence 2002: 60-70
15EEChuchang Liu, Maris A. Ozols: Consistency of Trust Theories. Australian Joint Conference on Artificial Intelligence 2002: 717
2001
14EEChuchang Liu, Maris A. Ozols, Anthony Cant: An Axiomatic Basis for Reasoning about Trust in PKIs. ACISP 2001: 274-291
13EEChuchang 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
10EEChuchang 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
8EEChuchang 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
6EEMehmet A. Orgun, Chuchang Liu: Querying Clocked Databases. FQAS 1998: 308-319
5EEChuchang 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
3EEChuchang Liu, Mehmet A. Orgun: BCTL: A Branching Clock Temporal Logic. TIME 1997: 140-147
1996
2EEChuchang 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

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)