Now showing items 1-2 of 2
Modeling efficient multi-chained stream signature protocol using communicating sequential processeses
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
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 ...