Dynamic theories of trust for secure agent-based systems

J. Ma*, M. A. Orgun

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

Abstract

Agent-based systems consist of a collection of agents that interact with each other in dynamic unpredictable, and unreliable environments. A very basic problem regarding security properties of agent-based systems is that whether a message sent by an agent is reliably received by other agents and whether the message received is regarded as reliable in the view of receivers. The problem generally depends on the trust that agents would put in the security mechanisms of the system. In order to support the analysis of various security mechanisms in agent-based systems, it is necessary to systematically investigate formal representation techniques, and provide more generic tools for the specification, and reasoning about trust theories formalizing security mechanisms in agent-based systems. In this paper, we use a temporalised belief logic to show how to establish dynamic trust theories for communication protocols. Such theories provide a foundation for reasoning about properties of agent-based systems operating in dynamic environments. We also outline a decision procedure based on model checking for verifying security properties for trust theories.

Original languageEnglish
Title of host publication2008 IEEE International Systems Conference Proceedings, SysCon 2008
EditorsRobert C. Rassa
Place of PublicationPiscataway, NJ
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Pages208-215
Number of pages8
ISBN (Print)9781424421503
DOIs
Publication statusPublished - 2008
Event2008 IEEE International Systems Conference Proceedings, SysCon 2008 - Montreal, QC, Canada
Duration: 7 Apr 200810 Apr 2008

Other

Other2008 IEEE International Systems Conference Proceedings, SysCon 2008
CountryCanada
CityMontreal, QC
Period7/04/0810/04/08

Keywords

  • Agent-based systems
  • Belief logics
  • Communication protocols
  • Temporal logics
  • Trust theories

Fingerprint Dive into the research topics of 'Dynamic theories of trust for secure agent-based systems'. Together they form a unique fingerprint.

Cite this