Modeling efficient multi-chained stream signature protocol using communicating sequential processeses

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

Files in this item

Files	Size	Format	View
There are no files associated with this item.