Show simple item record

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.isoengen_US
dc.publisherIEEEen_US
dc.relation.isversionof10.1109/SSIRI-C.2010.23en_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.typeconferenceObjecten_US
dc.contributor.institutionauthorÖzkan, Murat
dc.contributor.institutionauthorKülahçıoğlu, Burcu
dc.relation.journal4th IEEE International Conference on Secure Software Integration and Reliability Improvement Companionen_US
dc.contributor.departmentİYTE, Mühendislik Fakültesi, Bilgisayar Mühendisliği Bölümüen_US
dc.identifier.startpage54en_US
dc.identifier.endpage61en_US
dc.relation.publicationcategoryKonferans Öğesi - Uluslararası - Kurum Öğretim Elemanıen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record