Please use this identifier to cite or link to this item: https://hdl.handle.net/11147/2666
Full metadata record
DC FieldValueLanguage
dc.contributor.authorKoltuksuz, Ahmet-
dc.contributor.authorÖzkan, Murat-
dc.contributor.authorKülahçıoğlu, Burcu-
dc.date.accessioned2016-12-23T11:32:19Z
dc.date.available2016-12-23T11:32:19Z
dc.date.issued2010
dc.identifier.citationKoltuksuz, 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.23en_US
dc.identifier.isbn9780769540870
dc.identifier.urihttp://doi.org/10.1109/SSIRI-C.2010.23
dc.identifier.urihttp://hdl.handle.net/11147/2666
dc.description4th IEEE International Conference on Secure Software Integration and Reliability Improvement Companion, SSIRI-C 2010; Singapore; Singapore; 9 June 2010 through 11 June 2010en_US
dc.description.abstractCommunicating 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.en_US
dc.language.isoenen_US
dc.publisherInstitute of Electrical and Electronics Engineers Inc.en_US
dc.relation.ispartof4th IEEE International Conference on Secure Software Integration and Reliability Improvement Companion, SSIRI-C 2010en_US
dc.rightsinfo:eu-repo/semantics/openAccessen_US
dc.subjectNetwork securityen_US
dc.subjectProcessesesen_US
dc.subjectSecurity protocol verificationen_US
dc.subjectCommunicating Sequential Processesesen_US
dc.titleModeling efficient multi-chained stream signature protocol using communicating sequential processesesen_US
dc.typeConference Objecten_US
dc.institutionauthorÖzkan, Murat-
dc.institutionauthorKülahçıoğlu, Burcu-
dc.departmentIzmir Institute of Technology. Computer Engineeringen_US
dc.identifier.startpage54en_US
dc.identifier.endpage61en_US
dc.relation.publicationcategoryKonferans Öğesi - Uluslararası - Kurum Öğretim Elemanıen_US
dc.identifier.doi10.1109/SSIRI-C.2010.23-
dc.relation.doi10.1109/SSIRI-C.2010.23en_US
dc.coverage.doi10.1109/SSIRI-C.2010.23en_US
item.cerifentitytypePublications-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.openairetypeConference Object-
item.grantfulltextopen-
item.languageiso639-1en-
item.fulltextWith Fulltext-
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 simple item record

CORE Recommender

Page view(s)

32
checked on Dec 8, 2021

Download(s)

28
checked on Dec 8, 2021

Google ScholarTM

Check

Altmetric


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