Browsing by Author "Külahçıoğlu, Burcu"

Now showing items 1-3 of 3

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

Koltuksuz, Ahmet; Özkan, Murat; Külahçıoğlu, Burcu (IEEE, 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 real-time security protocols

Külahçıoğlu, Burcu (Izmir Institute of Technology, 2010)

Timed Automata is an extension to the automata-theoretic approach to the modeling of real time systems that introduces time into the classical automata. Since it has been first proposed by Alur and Dill in the early nineties, ...
Utilization of timed automata as a verification tool for security protocols

Koltuksuz, Ahmet; Külahçıoğlu, Burcu; Özkan, Murat (IEEE, 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 ...