Please use this identifier to cite or link to this item:
https://hdl.handle.net/11147/2666
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Koltuksuz, Ahmet | - |
dc.contributor.author | Özkan, Murat | - |
dc.contributor.author | Külahçıoğlu, Burcu | - |
dc.date.accessioned | 2016-12-23T11:32:19Z | |
dc.date.available | 2016-12-23T11:32:19Z | |
dc.date.issued | 2010 | |
dc.identifier.citation | 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 | en_US |
dc.identifier.isbn | 9780769540870 | |
dc.identifier.uri | http://doi.org/10.1109/SSIRI-C.2010.23 | |
dc.identifier.uri | http://hdl.handle.net/11147/2666 | |
dc.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 | en_US |
dc.description.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. | en_US |
dc.language.iso | en | en_US |
dc.publisher | Institute of Electrical and Electronics Engineers Inc. | en_US |
dc.relation.ispartof | 4th IEEE International Conference on Secure Software Integration and Reliability Improvement Companion, SSIRI-C 2010 | en_US |
dc.rights | info:eu-repo/semantics/openAccess | en_US |
dc.subject | Network security | en_US |
dc.subject | Processeses | en_US |
dc.subject | Security protocol verification | en_US |
dc.subject | Communicating Sequential Processeses | en_US |
dc.title | Modeling efficient multi-chained stream signature protocol using communicating sequential processeses | en_US |
dc.type | Conference Object | en_US |
dc.institutionauthor | Özkan, Murat | - |
dc.institutionauthor | Külahçıoğlu, Burcu | - |
dc.department | İzmir Institute of Technology. Computer Engineering | en_US |
dc.identifier.startpage | 54 | en_US |
dc.identifier.endpage | 61 | en_US |
dc.identifier.scopus | 2-s2.0-77956116875 | en_US |
dc.relation.publicationcategory | Konferans Öğesi - Uluslararası - Kurum Öğretim Elemanı | en_US |
dc.identifier.doi | 10.1109/SSIRI-C.2010.23 | - |
dc.relation.doi | 10.1109/SSIRI-C.2010.23 | en_US |
dc.coverage.doi | 10.1109/SSIRI-C.2010.23 | en_US |
local.message.claim | 2022-06-14T16:22:01.541+0300 | * |
local.message.claim | |rp01152 | * |
local.message.claim | |submit_approve | * |
local.message.claim | |dc_contributor_author | * |
local.message.claim | |None | * |
dc.identifier.wosquality | N/A | - |
dc.identifier.scopusquality | N/A | - |
item.languageiso639-1 | en | - |
item.openairetype | Conference Object | - |
item.grantfulltext | open | - |
item.cerifentitytype | Publications | - |
item.fulltext | With Fulltext | - |
item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
crisitem.author.dept | 03.04. Department of Computer Engineering | - |
Appears in Collections: | Computer Engineering / Bilgisayar Mühendisliği Scopus İndeksli Yayınlar Koleksiyonu / Scopus Indexed Publications Collection |
CORE Recommender
Page view(s)
200
checked on Sep 2, 2024
Download(s)
218
checked on Sep 2, 2024
Google ScholarTM
Check
Altmetric
Items in GCRIS Repository are protected by copyright, with all rights reserved, unless otherwise indicated.