A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Utilization of Timed Automata as a Verification Tool for Security Protocols
2010
2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion
Timed Automata is an extension to the automatatheoretic 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 formal languages and modeling and verification of real time systems since it was proposed by Alur and Dill in the early nineties. Timed automata proposes an efficient model checking method for verification real time systems having mature and efficient automatic verification tools.
doi:10.1109/ssiri-c.2010.27
dblp:conf/ssiri/KoltuksuzKO10
fatcat:ldbgb26ytzelznjxflgaair7na