Please use this identifier to cite or link to this item: https://hdl.handle.net/11147/2666
Title: Modeling efficient multi-chained stream signature protocol using communicating sequential processeses
Authors: Koltuksuz, Ahmet
Özkan, Murat
Külahçıoğlu, Burcu
Özkan, Murat
Külahçıoğlu, Burcu
Keywords: Network security
Processeses
Security protocol verification
Communicating Sequential Processeses
Issue Date: 2010
Publisher: Institute of Electrical and Electronics Engineers Inc.
Source: Koltuksuz, A., Özkan, M., and Külahçıoğlu, B. (2010). Modeling efficient multi-chained stream signature protocol using communicating sequential processeses. Paper presented at the 4th IEEE International Conference on Secure Software Integration and Reliability Improvement Companion. doi:10.1109/SSIRI-C.2010.23
Abstract: Communicating Sequential Processes (CSP) is a process algebra, designed for modeling and analyzing the behavior of concurrent systems. Several security protocols are modeled with CSP and verified using model-checking or theorem proving techniques successfully. Unlike other authentication protocols modeled using CSP, each of the Efficient Multi-chained Stream Signature (EMSS) protocol messages are linked to the previous messages, forming hash chains, which introduces difficulties for modeling and verification. In this paper; we model the EMSS stream authentication protocol using CSP and verify its authentication properties with model checking, by building an infinite state model of the protocol which is reduced into a finite state model. © 2010 IEEE.
Description: 4th IEEE International Conference on Secure Software Integration and Reliability Improvement Companion, SSIRI-C 2010; Singapore; Singapore; 9 June 2010 through 11 June 2010
URI: http://doi.org/10.1109/SSIRI-C.2010.23
http://hdl.handle.net/11147/2666
ISBN: 9780769540870
Appears in Collections:Computer Engineering / Bilgisayar Mühendisliği
Scopus İndeksli Yayınlar Koleksiyonu / Scopus Indexed Publications Collection

Files in This Item:
File Description SizeFormat 
2666.pdfConference Paper966.24 kBAdobe PDFThumbnail
View/Open
Show full item record

CORE Recommender

Page view(s)

24
checked on Oct 19, 2021

Download(s)

26
checked on Oct 19, 2021

Google ScholarTM

Check

Altmetric


Items in GCRIS Repository are protected by copyright, with all rights reserved, unless otherwise indicated.