Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Chuchang
Last name:	Liu
DBLP:	45/822
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 25 of 27  

Select a publication
Show	Title	Venue	Rating	Date
	Mehmet A. Orgun, Guido Governatori, Chuchang Liu. Modal tableaux for verifying stream authentication protocols.	Autonomous Agents and Multi-Agent Systems 2009, Volume 19	(0)	2009
	Chuchang Liu, Angela Billard, Benjamin Long. An Abstract Model for Dynamic Access Control Architectures.	Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology - Workshops, 9-12 December 2008, Sydney, NSW, Australia 2008	(0)	2008
	Mehmet A. Orgun, Chuchang Liu, Abhaya C. Nayak. Knowledge Representation, Reasoning and Integration Using Temporal Logic with Clocks.	Mathematics in Computer Science 2008, Volume 2	(0)	2008
	Chuchang Liu, Angela Billard, Maris A. Ozols, Nikifor Jeremic. Access Control Models and Security Labelling.	Computer Science 2007. Proceedings of the Thirtieth Australasian Computer Science Conference (ACSC2007). Ballarat, Victoria, Australia, January 30 - February 2, 2007. Proceedings 2007	(0)	2007
	Chuchang Liu, Mehmet A. Orgun. Towards security labelling.	Computer Science 2006, Twenty-Nineth Australasian Computer Science Conference (ACSC2006), Hobart, Tasmania, Australia, January 16-19 2006 2006	(0)	2006
	Mehmet A. Orgun, Ji Ma, Chuchang Liu, Guido Governatori. Analysing Stream Authentication Protocols in Autonomous Agent-Based Systems.	Second International Symposium on Dependable Autonomic and Secure Computing (DASC 2006), 29 September - 1 October 2006, Indianapolis, Indiana, USA 2006	(0)	2006
	Mehmet A. Orgun, Chuchang Liu. Reasoning about dynamics of trust and agent beliefs.	Proceedings of the 2006 IEEE International Conference on Information Reuse and Integration, IRI - 2006: Heuristic Systems Engineering, September 16-18, 2006, Waikoloa, Hawaii, USA 2006	(0)	2006
	Mehmet A. Orgun, Chuchang Liu, Abhaya C. Nayak. Representation and integration of knowledge based on multiple granularity of time using temporal logic.	Proceedings of the 2006 IEEE International Conference on Information Reuse and Integration, IRI - 2006: Heuristic Systems Engineering, September 16-18, 2006, Waikoloa, Hawaii, USA 2006	(0)	2006
	Chuchang Liu, Patrick McLean, Maris A. Ozols. Combining Logics for Modelling Security Policies.	Computer Science 2005, Twenty-Eighth Australasian Computer Science Conference (ACSC2005), Newcastle, NSW, Australia, January/February 2005 2005	(0)	2005
	Chuchang Liu, Maris A. Ozols, Mehmet A. Orgun. A Fibred Belief Logic for Multi-agent Systems.	AI 2005: Advances in Artificial Intelligence, 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005, Proceedings 2005	(0)	2005
	Chuchang Liu, Maris A. Ozols, Mehmet A. Orgun. A Temporalised Belief Logic for Specifying the Dynamics of Trust for Multi-agent Systems.	Advances in Computer Science - ASIAN 2004, Higher-Level Decision Making, 9th Asian Computing Science Conference, Dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday, Chiang Mai, Thailand, December 8-10, 2004, Proceedings 2004	(0)	2004
	Chuchang Liu, Maris A. Ozols. Trust in Secure Communication Systems - The Concept, Representations, and Reasoning Techniques.	AI 2002: Advances in Artificial Intelligence, 15th Australian Joint Conference on Artificial Intelligence, Canberra, Australia, December 2-6, 2002, Proceedings 2002	(0)	2002
	Chuchang Liu, Maris A. Ozols. Consistency of Trust Theories.	AI 2002: Advances in Artificial Intelligence, 15th Australian Joint Conference on Artificial Intelligence, Canberra, Australia, December 2-6, 2002, Proceedings 2002	(0)	2002
	Chuchang Liu, Maris A. Ozols, Anthony Cant. An Axiomatic Basis for Reasoning about Trust in PKIs.	Information Security and Privacy, 6th Australasian Conference, ACISP 2001, Sydney, Australia, July 11-13, 2001, Proceedings 2001	(0)	2001
	Chuchang Liu. Logical Foundations for Reasoning about Trust in Secure Digital Communication.	AI 2001: Advances in Artificial Intelligence, 14th Australian Joint Conference on Artificial Intelligence, Adelaide, Australia, December 10-14, 2001, Proceedings 2001	(0)	2001
	Chuchang Liu, Mehmet A. Orgun, Kang Zhang. A parallel execution model for Chronolog.	Comput. Syst. Sci. Eng. 2001, Volume 16	(0)	2001
	Maris A. Ozols, Marie Henderson, Chuchang Liu, Anthony Cant. The PKI Specification Dilemma: A Formal Solution.	Information Security and Privacy, 5th Australasian Conference, ACISP 2000, Brisbane, Australia, July 10-12, 2000, Proceedings 2000	(0)	2000
	Chuchang Liu, Maris A. Ozols, Marie Henderson, Anthony Cant. Towards Certificate Verification in a Certificate Management System.	23rd Australasian Computer Science Conference (ACSC 2000), 31 January - 3 February 2000, Canberra, Australia 2000	(0)	2000
	Chuchang Liu, Maris A. Ozols, Marie Henderson, Anthony Cant. A State-Based Model for Certificate Management Systems.	Public Key Cryptography, Third International Workshop on Practice and Theory in Public Key Cryptography, PKC 2000, Melbourne, Victoria, Australia, January 18-20, 2000, Proceedings 2000	(0)	2000
	Chuchang Liu, Mehmet A. Orgun. Verification of Reactive Systems Using Temporal Logic with Clocks.	Theor. Comput. Sci. 1999, Volume 220	(0)	1999
	Chuchang Liu, Mehmet A. Orgun. A Structural Knowledge-Based Simulation Methodology for Distributed Systems.	Proceedings of the Eleventh International Florida Artificial Intelligence Research Society Conference, May 18-20, 1998, Sanibel Island, Florida, USA 1998	(0)	1998
	Mehmet A. Orgun, Chuchang Liu. Querying Clocked Databases.	Flexible Query Answering Systems, Third International Conference, FQAS'98, Roskilde, Denmark, May 13-15, 1998, Proceedings 1998	(0)	1998
	Chuchang Liu, Mehmet A. Orgun. Embedding a Timing System in TLC.	TIME 1998	(0)	1998
	Chuchang Liu, Mehmet A. Orgun. A Constraint Mechanism for Knowlege Specification of Simulation Systems Based on Temporal Logic.	Advanced Topics in Artificial Intelligence, 10th Australian Joint Conference on Artificial Intelligence, AI '97, Perth, Australia, November 30 - December 4, 1997, Proceedings 1997	(0)	1997
	Chuchang Liu, Mehmet A. Orgun. BCTL: A Branching Clock Temporal Logic.	TIME 1997	(0)	1997

Your query returned 27 matches in the database.