Search the dblp DataBase
Chuchang Liu :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Chuchang Liu , Maris A. Ozols , Anthony Cant An Axiomatic Basis for Reasoning about Trust in PKIs. [Citation Graph (0, 0)][DBLP ] ACISP, 2001, pp:274-291 [Conf ] Maris A. Ozols , Marie Henderson , Chuchang Liu , Anthony Cant The PKI Specification Dilemma: A Formal Solution. [Citation Graph (0, 0)][DBLP ] ACISP, 2000, pp:206-219 [Conf ] Chuchang Liu , Patrick McLean , Maris A. Ozols Combining Logics for Modelling Security Policies. [Citation Graph (0, 0)][DBLP ] ACSC, 2005, pp:323-332 [Conf ] Chuchang Liu , Maris A. Ozols , Marie Henderson , Anthony Cant Towards Certificate Verification in a Certificate Management System. [Citation Graph (0, 0)][DBLP ] ACSC, 2000, pp:150-157 [Conf ] Chuchang Liu , Mehmet A. Orgun Towards security labelling. [Citation Graph (0, 0)][DBLP ] ACSC, 2006, pp:69-76 [Conf ] Chuchang Liu , Maris A. Ozols , Mehmet A. Orgun A Temporalised Belief Logic for Specifying the Dynamics of Trust for Multi-agent Systems. [Citation Graph (0, 0)][DBLP ] ASIAN, 2004, pp:142-156 [Conf ] Chuchang Liu Logical Foundations for Reasoning about Trust in Secure Digital Communication. [Citation Graph (0, 0)][DBLP ] Australian Joint Conference on Artificial Intelligence, 2001, pp:333-344 [Conf ] Chuchang Liu , Maris A. Ozols Trust in Secure Communication Systems - The Concept, Representations, and Reasoning Techniques. [Citation Graph (0, 0)][DBLP ] Australian Joint Conference on Artificial Intelligence, 2002, pp:60-70 [Conf ] Chuchang Liu , Maris A. Ozols Consistency of Trust Theories. [Citation Graph (0, 0)][DBLP ] Australian Joint Conference on Artificial Intelligence, 2002, pp:717- [Conf ] Chuchang Liu , Mehmet A. Orgun A Constraint Mechanism for Knowlege Specification of Simulation Systems Based on Temporal Logic. [Citation Graph (0, 0)][DBLP ] Australian Joint Conference on Artificial Intelligence, 1997, pp:485-495 [Conf ] Chuchang Liu , Maris A. Ozols , Mehmet A. Orgun A Fibred Belief Logic for Multi-agent Systems. [Citation Graph (0, 0)][DBLP ] Australian Conference on Artificial Intelligence, 2005, pp:29-38 [Conf ] Mehmet A. Orgun , Ji Ma , Chuchang Liu , Guido Governatori Analysing Stream Authentication Protocols in Autonomous Agent-Based Systems. [Citation Graph (0, 0)][DBLP ] DASC, 2006, pp:325-332 [Conf ] Chuchang Liu , Mehmet A. Orgun A Structural Knowledge-Based Simulation Methodology for Distributed Systems. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1998, pp:12-17 [Conf ] Mehmet A. Orgun , Chuchang Liu Querying Clocked Databases. [Citation Graph (0, 0)][DBLP ] FQAS, 1998, pp:308-319 [Conf ] Mehmet A. Orgun , Chuchang Liu Reasoning about dynamics of trust and agent beliefs. [Citation Graph (0, 0)][DBLP ] IRI, 2006, pp:105-110 [Conf ] Mehmet A. Orgun , Chuchang Liu , Abhaya C. Nayak Representation and integration of knowledge based on multiple granularity of time using temporal logic. [Citation Graph (0, 0)][DBLP ] IRI, 2006, pp:256-261 [Conf ] Chuchang Liu , Maris A. Ozols , Marie Henderson , Anthony Cant A State-Based Model for Certificate Management Systems. [Citation Graph (0, 0)][DBLP ] Public Key Cryptography, 2000, pp:75-92 [Conf ] Chuchang Liu , Mehmet A. Orgun Executing specifications of distributed computations with Chronolog(MC). [Citation Graph (0, 0)][DBLP ] SAC, 1996, pp:393-400 [Conf ] Chuchang Liu , Mehmet A. Orgun BCTL: A Branching Clock Temporal Logic. [Citation Graph (0, 0)][DBLP ] TIME, 1997, pp:140-147 [Conf ] Chuchang Liu , Mehmet A. Orgun Embedding a Timing System in TLC. [Citation Graph (0, 0)][DBLP ] TIME, 1998, pp:105-112 [Conf ] Chuchang Liu , Mehmet A. Orgun , Kang Zhang A parallel execution model for Chronolog. [Citation Graph (0, 0)][DBLP ] Comput. Syst. Sci. Eng., 2001, v:16, n:4, pp:215-228 [Journal ] Chuchang Liu , Mehmet A. Orgun Dealing with Multiple Granularity of Time in Temporal Logic Programming. [Citation Graph (0, 0)][DBLP ] J. Symb. Comput., 1996, v:22, n:5/6, pp:699-720 [Journal ] Chuchang Liu , Mehmet A. Orgun Verification of Reactive Systems Using Temporal Logic with Clocks. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1999, v:220, n:2, pp:377-408 [Journal ] Access Control Models and Security Labelling. [Citation Graph (, )][DBLP ] An Abstract Model for Dynamic Access Control Architectures. [Citation Graph (, )][DBLP ] Modal tableaux for verifying stream authentication protocols. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.153secs