Utilization of timed automata as a verification tool for security protocols

dc.contributor.author	Koltuksuz, A.
dc.contributor.author	Kulahcioglu, B.
dc.contributor.author	Ozkan, M.
dc.date.accessioned	2021-01-25T20:51:36Z
dc.date.available	2021-01-25T20:51:36Z
dc.date.issued	2010
dc.identifier	10.1109/SSIRI-C.2010.27
dc.identifier.uri	https://www.scopus.com/inward/record.uri?eid=2-s2.0-77956120549&doi=10.1109%2fSSIRI-C.2010.27&partnerID=40&md5=bedca38568ba43d4d8a2f72afab7b5d5
dc.identifier.uri	https://dspace.yasar.edu.tr/xmlui/handle/20.500.12742/10671
dc.description.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
dc.language.iso	English
dc.publisher	SSIRI-C 2010 - 4th IEEE International Conference on Secure Software Integration and Reliability Improvement Companion
dc.title	Utilization of timed automata as a verification tool for security protocols
dc.type	Conference Paper
dc.relation.firstpage	86
dc.relation.lastpage	93
dc.description.affiliations	Department of Computer Engineering, Yasar University, Izmir, Turkey; Department of Computer Engineering, Izmir Institute of Technology, Izmir, Turkey

Files in this item

Files	Size	Format	View
There are no files associated with this item.