Timed Automata Based Model Checking of Timed Security Protocols
Mirosław Kurkowski, Wojciech Penczek · Fundamenta Informaticae · 2009
A new approach to verification of timed security protocols is given. The idea consists in modelling a finite number of users (including an intruder) of the computer network and their knowledge about secrets by timed automata. The runs of the product