Analysing stream authentication protocols in autonomous agent-based systems

Mehmet A. Orgun; Ji Ma; Chuchang Liu; Guido Governatori

doi:10.1109/DASC.2006.19

Analysing stream authentication protocols in autonomous agent-based systems

Mehmet A. Orgun^*, Ji Ma, Chuchang Liu, Guido Governatori

^*Corresponding author for this work

School of Computing

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

5 Citations (Scopus)

29 Downloads (Pure)

Abstract

In stream authentication protocols used for large-scale data dissemination in autonomuous systems, authentication is based on the timing of the publication of keys, and depends on trust of the receiver in the sender and belief on whether an intruder can have prior knowledge of a key before it is published by a protocol. Many existing logics and approaches have successfully been applied to specify other types of authentication protocols, but most of them are not appropriate for analysing stream authentication protocols. We therefore consider a fibred modal logic that combines a belief logic with a linear-time temporal logic which can be used to analyse time-varying aspects of certain problems. With this logical system one is able to build theories of trust for analysing stream authentication protocols, which can deal with not only agent beliefs but also the timing properties of an autonomous agent-based system.

Original language	English
Title of host publication	Proceedings - 2nd IEEE International Symposium on Dependable, Autonomic and Secure Computing, DASC 2006
Editors	Yuanshun Dai, Mike Hinchey, Yi Pan
Place of Publication	Piscataway, NJ
Publisher	Institute of Electrical and Electronics Engineers (IEEE)
Pages	325-332
Number of pages	8
ISBN (Print)	0769525393, 9780769525396
DOIs	https://doi.org/10.1109/DASC.2006.19
Publication status	Published - 2006
Event	2nd IEEE International Symposium on Dependable, Autonomic and Secure Computing, DASC 2006 - Indianapolis, IN, United States Duration: 29 Sept 2006 → 1 Oct 2006

Other

Other	2nd IEEE International Symposium on Dependable, Autonomic and Secure Computing, DASC 2006
Country/Territory	United States
City	Indianapolis, IN
Period	29/09/06 → 1/10/06

Bibliographical note

Copyright 2006 IEEE. Reprinted from Proceedings of the 2nd IEEE International symposium on dependable autonomic and secure computing (DASC 2006). This material is posted here with permission of the IEEE. Such permission of the IEEE does not in any way imply IEEE endorsement of any of Macquarie Universityâ€™s products or services. Internal or personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution must be obtained from the IEEE by writing to [email protected]. By choosing to view this document, you agree to all provisions of the copyright laws protecting it.

Access to Document

10.1109/DASC.2006.19

Publisher version (open access).pdfFinal published version, 193 KB

Cite this

Orgun, M. A., Ma, J., Liu, C., & Governatori, G. (2006). Analysing stream authentication protocols in autonomous agent-based systems. In Y. Dai, M. Hinchey, & Y. Pan (Eds.), Proceedings - 2nd IEEE International Symposium on Dependable, Autonomic and Secure Computing, DASC 2006 (pp. 325-332). Article 4030899 Institute of Electrical and Electronics Engineers (IEEE). https://doi.org/10.1109/DASC.2006.19

Orgun, Mehmet A. ; Ma, Ji ; Liu, Chuchang et al. / Analysing stream authentication protocols in autonomous agent-based systems. Proceedings - 2nd IEEE International Symposium on Dependable, Autonomic and Secure Computing, DASC 2006. editor / Yuanshun Dai ; Mike Hinchey ; Yi Pan. Piscataway, NJ : Institute of Electrical and Electronics Engineers (IEEE), 2006. pp. 325-332

@inproceedings{51b4a623b0864a129b879079f594b6cb,

title = "Analysing stream authentication protocols in autonomous agent-based systems",

abstract = "In stream authentication protocols used for large-scale data dissemination in autonomuous systems, authentication is based on the timing of the publication of keys, and depends on trust of the receiver in the sender and belief on whether an intruder can have prior knowledge of a key before it is published by a protocol. Many existing logics and approaches have successfully been applied to specify other types of authentication protocols, but most of them are not appropriate for analysing stream authentication protocols. We therefore consider a fibred modal logic that combines a belief logic with a linear-time temporal logic which can be used to analyse time-varying aspects of certain problems. With this logical system one is able to build theories of trust for analysing stream authentication protocols, which can deal with not only agent beliefs but also the timing properties of an autonomous agent-based system.",

author = "Orgun, {Mehmet A.} and Ji Ma and Chuchang Liu and Guido Governatori",

note = "Copyright 2006 IEEE. Reprinted from Proceedings of the 2nd IEEE International symposium on dependable autonomic and secure computing (DASC 2006). This material is posted here with permission of the IEEE. Such permission of the IEEE does not in any way imply IEEE endorsement of any of Macquarie University{\^a}€{\texttrademark}s products or services. Internal or personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution must be obtained from the IEEE by writing to [email protected]. By choosing to view this document, you agree to all provisions of the copyright laws protecting it.; 2nd IEEE International Symposium on Dependable, Autonomic and Secure Computing, DASC 2006 ; Conference date: 29-09-2006 Through 01-10-2006",

year = "2006",

doi = "10.1109/DASC.2006.19",

language = "English",

isbn = "0769525393",

pages = "325--332",

editor = "Yuanshun Dai and Mike Hinchey and Yi Pan",

booktitle = "Proceedings - 2nd IEEE International Symposium on Dependable, Autonomic and Secure Computing, DASC 2006",

publisher = "Institute of Electrical and Electronics Engineers (IEEE)",

address = "United States",

}

Orgun, MA, Ma, J, Liu, C & Governatori, G 2006, Analysing stream authentication protocols in autonomous agent-based systems. in Y Dai, M Hinchey & Y Pan (eds), Proceedings - 2nd IEEE International Symposium on Dependable, Autonomic and Secure Computing, DASC 2006., 4030899, Institute of Electrical and Electronics Engineers (IEEE), Piscataway, NJ, pp. 325-332, 2nd IEEE International Symposium on Dependable, Autonomic and Secure Computing, DASC 2006, Indianapolis, IN, United States, 29/09/06. https://doi.org/10.1109/DASC.2006.19

Analysing stream authentication protocols in autonomous agent-based systems. / Orgun, Mehmet A.; Ma, Ji; Liu, Chuchang et al.
Proceedings - 2nd IEEE International Symposium on Dependable, Autonomic and Secure Computing, DASC 2006. ed. / Yuanshun Dai; Mike Hinchey; Yi Pan. Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), 2006. p. 325-332 4030899.

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

TY - GEN

T1 - Analysing stream authentication protocols in autonomous agent-based systems

AU - Orgun, Mehmet A.

AU - Ma, Ji

AU - Liu, Chuchang

AU - Governatori, Guido

N1 - Copyright 2006 IEEE. Reprinted from Proceedings of the 2nd IEEE International symposium on dependable autonomic and secure computing (DASC 2006). This material is posted here with permission of the IEEE. Such permission of the IEEE does not in any way imply IEEE endorsement of any of Macquarie Universityâ€™s products or services. Internal or personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution must be obtained from the IEEE by writing to [email protected]. By choosing to view this document, you agree to all provisions of the copyright laws protecting it.

PY - 2006

Y1 - 2006

N2 - In stream authentication protocols used for large-scale data dissemination in autonomuous systems, authentication is based on the timing of the publication of keys, and depends on trust of the receiver in the sender and belief on whether an intruder can have prior knowledge of a key before it is published by a protocol. Many existing logics and approaches have successfully been applied to specify other types of authentication protocols, but most of them are not appropriate for analysing stream authentication protocols. We therefore consider a fibred modal logic that combines a belief logic with a linear-time temporal logic which can be used to analyse time-varying aspects of certain problems. With this logical system one is able to build theories of trust for analysing stream authentication protocols, which can deal with not only agent beliefs but also the timing properties of an autonomous agent-based system.

AB - In stream authentication protocols used for large-scale data dissemination in autonomuous systems, authentication is based on the timing of the publication of keys, and depends on trust of the receiver in the sender and belief on whether an intruder can have prior knowledge of a key before it is published by a protocol. Many existing logics and approaches have successfully been applied to specify other types of authentication protocols, but most of them are not appropriate for analysing stream authentication protocols. We therefore consider a fibred modal logic that combines a belief logic with a linear-time temporal logic which can be used to analyse time-varying aspects of certain problems. With this logical system one is able to build theories of trust for analysing stream authentication protocols, which can deal with not only agent beliefs but also the timing properties of an autonomous agent-based system.

UR - http://www.scopus.com/inward/record.url?scp=36949012035&partnerID=8YFLogxK

U2 - 10.1109/DASC.2006.19

DO - 10.1109/DASC.2006.19

M3 - Conference proceeding contribution

AN - SCOPUS:36949012035

SN - 0769525393

SN - 9780769525396

SP - 325

EP - 332

BT - Proceedings - 2nd IEEE International Symposium on Dependable, Autonomic and Secure Computing, DASC 2006

A2 - Dai, Yuanshun

A2 - Hinchey, Mike

A2 - Pan, Yi

PB - Institute of Electrical and Electronics Engineers (IEEE)

CY - Piscataway, NJ

T2 - 2nd IEEE International Symposium on Dependable, Autonomic and Secure Computing, DASC 2006

Y2 - 29 September 2006 through 1 October 2006

ER -

Orgun MA, Ma J, Liu C, Governatori G. Analysing stream authentication protocols in autonomous agent-based systems. In Dai Y, Hinchey M, Pan Y, editors, Proceedings - 2nd IEEE International Symposium on Dependable, Autonomic and Secure Computing, DASC 2006. Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE). 2006. p. 325-332. 4030899 doi: 10.1109/DASC.2006.19

Analysing stream authentication protocols in autonomous agent-based systems

Abstract

Other

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this