dc.contributor.author | Koltuksuz, A. | |
dc.contributor.author | Ozkan, M. | |
dc.contributor.author | Kulahcioglu, B. | |
dc.date.accessioned | 2021-01-25T20:51:36Z | |
dc.date.available | 2021-01-25T20:51:36Z | |
dc.date.issued | 2010 | |
dc.identifier | 10.1109/SSIRI-C.2010.23 | |
dc.identifier.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-77956116875&doi=10.1109%2fSSIRI-C.2010.23&partnerID=40&md5=7f50bffef0b90ca382aab610fc8e2971 | |
dc.identifier.uri | https://dspace.yasar.edu.tr/xmlui/handle/20.500.12742/10672 | |
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 successf | |
dc.language.iso | English | |
dc.publisher | SSIRI-C 2010 - 4th IEEE International Conference on Secure Software Integration and Reliability Improvement Companion | |
dc.title | Modeling efficient multi-chained stream signature protocol using communicating sequential processeses | |
dc.type | Conference Paper | |
dc.relation.firstpage | 54 | |
dc.relation.lastpage | 61 | |
dc.description.affiliations | Department of Computer Engineering, Yasar University, Izmir, Turkey; Department of Computer Engineering, Izmir Institute of Technology, Izmir, Turkey | |