Yayıncı

Toplam kayıt 2, listelenen: 1-2

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

      Koltuksuz, A.; Ozkan, M.; Kulahcioglu, B. (SSIRI-C 2010 - 4th IEEE International Conference on Secure Software Integration and Reliability Improvement Companion, 2010)
      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 ...

    • Utilization of timed automata as a verification tool for security protocols 

      Koltuksuz, A.; Kulahcioglu, B.; Ozkan, M. (SSIRI-C 2010 - 4th IEEE International Conference on Secure Software Integration and Reliability Improvement Companion, 2010)
      Timed Automata is an extension to the automata-theoretic approach for the modeling of real time systems that introduces time into the classical automata. It has become an important research area in both the context of ...