Modeling efficient multi-chained stream signature protocol using communicating sequential processeses
Özet
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
Bağlantı
https://www.scopus.com/inward/record.uri?eid=2-s2.0-77956116875&doi=10.1109%2fSSIRI-C.2010.23&partnerID=40&md5=7f50bffef0b90ca382aab610fc8e2971https://dspace.yasar.edu.tr/xmlui/handle/20.500.12742/10672
Koleksiyonlar
DSpace@YASAR by Yasar University Institutional Repository is licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 4.0 Unported License..