Macquarie University, Sydney Macquarie University ResearchOnline

Showing items 1 - 13 of 13.

Add to Quick Collection   All 13 Results

  • First
  • Previous
  • 1
  • Next
  • Last
Sort:
 Add All Items to Quick Collection
Date: 2011
Language: eng
Resource Type: journal article
Identifier: http://hdl.handle.net/1959.14/159922
Description: A tableau is a refutation-based decision procedure for a related logic, and is among the most popular proof procedures for modal logics. In this paper, we present a labelled tableau calculus for a tem ... More
Reviewed: Reviewed
Date: 2009
Language: eng
Resource Type: journal article
Identifier: http://hdl.handle.net/1959.14/83620
Description: The study of multiagent systems (MASs) focuses on systems in which many intelligent agents interact with each other using communication protocols. For example, an authentication protocol is used to ve ... More
Full Text: Full Text
Reviewed: Reviewed
Date: 2009
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/116004
Description: For modelling and verifying agent systems, many researchers have proposed different logical systems. Since agent-based systems are designed to operate in dynamic environments such as the Internet, it ... More
Full Text: Full Text
Reviewed: Reviewed
Date: 2009
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/1228172
Description: 13 page(s)
Reviewed: Reviewed
Authors: Ma, Ji | Orgun, Mehmet A
Date: 2008
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/323764
Description: For specifying and reasoning about agent beliefs of agent systems, many researchers have proposed the use of belief logics. Since agent systems are designed to operate in dynamic environments such as ... More
Reviewed: Reviewed
Authors: Ma, Ji | Orgun, Mehmet A
Date: 2008
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/1231226
Description: 8 page(s)
Authors: Ma, Ji | Orgun, Mehmet A
Date: 2008
Language: eng
Resource Type: journal article
Identifier: http://hdl.handle.net/1959.14/146675
Description: This paper discusses a formal approach for establishing theories of trust for authentication systems which can be used to reason about how agent beliefs evolve through time. The goal of an authenticat ... More
Reviewed: Reviewed
Authors: Ma, Ji | Orgun, Mehmet A
Date: 2008
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/1145004
Description: 6 page(s)
Reviewed: Reviewed
Authors: Ma, Ji | Orgun, Mehmet A
Date: 2007
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/25781
Description: The goal of an authentication system is to verify and authorise users, in order to protect restricted data and information. After authentication, two principals (people, computers, services) in a dist ... More
Full Text: Full Text
Reviewed: Reviewed
Authors: Ma, Ji | Orgun, Mehmet A
Date: 2006
Language: eng
Resource Type: conference paper abstract
Identifier: http://hdl.handle.net/1959.14/105434
Description: 2 page(s)
Date: 2006
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/17730
Description: In stream authentication protocols used for large-scale data dissemination in autonomous systems, authentication is based on the timing of the publication of keys, and depends on trust of the receiver ... More
Full Text: Full Text
Reviewed: Reviewed
Authors: Ma, Ji | Orgun, Mehmet A
Date: 2006
Language: eng
Resource Type: journal article
Identifier: http://hdl.handle.net/1959.14/8965
Description: A theory of trust for a given system consists of a set of rules that describe trust of agents in the system. In a certain logical framework, the theory is generally established based on the initial tr ... More
Full Text: Full Text
Reviewed: Reviewed
Authors: Orgun, Mehmet A | Ma, Ji
Date: 2005
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/1229499
Description: 10 page(s)
Reviewed: Reviewed
  • First
  • Previous
  • 1
  • Next
  • Last