Modeling Efficient Multi-Chained Stream Signature Protocol Using Communicating Sequential Processeses
| dc.contributor.author | Koltuksuz, Ahmet | |
| dc.contributor.author | Özkan, Murat | |
| dc.contributor.author | Külahçıoğlu, Burcu | |
| dc.coverage.doi | 10.1109/SSIRI-C.2010.23 | |
| dc.date.accessioned | 2016-12-23T11:32:19Z | |
| dc.date.available | 2016-12-23T11:32:19Z | |
| dc.date.issued | 2010 | |
| 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.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.doi | 10.1109/SSIRI-C.2010.23 | en_US |
| dc.identifier.doi | 10.1109/SSIRI-C.2010.23 | |
| dc.identifier.isbn | 9780769540870 | |
| dc.identifier.scopus | 2-s2.0-77956116875 | |
| dc.identifier.uri | http://doi.org/10.1109/SSIRI-C.2010.23 | |
| dc.identifier.uri | https://hdl.handle.net/11147/2666 | |
| 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 |
| dspace.entity.type | Publication | |
| gdc.author.institutional | Özkan, Murat | |
| gdc.author.institutional | Külahçıoğlu, Burcu | |
| gdc.bip.impulseclass | C5 | |
| gdc.bip.influenceclass | C5 | |
| gdc.bip.popularityclass | C5 | |
| gdc.coar.access | open access | |
| gdc.coar.type | text::conference output | |
| gdc.collaboration.industrial | false | |
| gdc.description.department | İzmir Institute of Technology. Computer Engineering | en_US |
| gdc.description.endpage | 61 | en_US |
| gdc.description.publicationcategory | Konferans Öğesi - Uluslararası - Kurum Öğretim Elemanı | en_US |
| gdc.description.scopusquality | N/A | |
| gdc.description.startpage | 54 | en_US |
| gdc.description.wosquality | N/A | |
| gdc.identifier.openalex | W2089602107 | |
| gdc.index.type | Scopus | |
| gdc.oaire.diamondjournal | false | |
| gdc.oaire.impulse | 0.0 | |
| gdc.oaire.influence | 2.635068E-9 | |
| gdc.oaire.isgreen | true | |
| gdc.oaire.keywords | Security protocol verification | |
| gdc.oaire.keywords | Communicating Sequential Processeses | |
| gdc.oaire.keywords | Network security | |
| gdc.oaire.keywords | Processeses | |
| gdc.oaire.popularity | 5.079408E-10 | |
| gdc.oaire.publicfunded | false | |
| gdc.oaire.sciencefields | 0211 other engineering and technologies | |
| gdc.oaire.sciencefields | 0102 computer and information sciences | |
| gdc.oaire.sciencefields | 02 engineering and technology | |
| gdc.oaire.sciencefields | 01 natural sciences | |
| gdc.openalex.collaboration | National | |
| gdc.openalex.fwci | 0.0 | |
| gdc.openalex.normalizedpercentile | 0.16 | |
| gdc.opencitations.count | 0 | |
| gdc.plumx.mendeley | 8 | |
| gdc.plumx.scopuscites | 0 | |
| gdc.scopus.citedcount | 0 | |
| 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 | * |
| relation.isAuthorOfPublication.latestForDiscovery | 0c5a8e7d-d666-4b2e-bb7c-66b3d41b72c4 | |
| relation.isOrgUnitOfPublication.latestForDiscovery | 9af2b05f-28ac-4014-8abe-a4dfe192da5e |