Utilization of timed automata as a verification tool for security protocols
Abstract
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 formal languages and modeling and ver
URI
https://www.scopus.com/inward/record.uri?eid=2-s2.0-77956120549&doi=10.1109%2fSSIRI-C.2010.27&partnerID=40&md5=bedca38568ba43d4d8a2f72afab7b5d5https://dspace.yasar.edu.tr/xmlui/handle/20.500.12742/10671
Collections
![Creative Commons License](http://i.creativecommons.org/l/by-nc-nd/4.0/88x31.png)
DSpace@YASAR by Yasar University Institutional Repository is licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 4.0 Unported License..