Now showing items 1-3 of 3
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 ...
A model of distributed key generation for industrial control systems
The cyber-security of industrial control systems (ICS) is gaining high relevance due to the impact of industrial system failures on the citizen life. There is an urgent need for the consideration of security in their design, ...
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 ...