Please use this identifier to cite or link to this item: https://hdl.handle.net/11147/2664
Title: Utilization of timed automata as a verification tool for security protocols
Authors: Koltuksuz, Ahmet
Külahçıoğlu, Burcu
Özkan, Murat
Keywords: Network security
Timed automata
Model checking
Security protocol verification
Issue Date: 2010
Publisher: Institute of Electrical and Electronics Engineers Inc.
Source: Koltuksuz, A, Külahçıoğlu, B., and Özkan, M. (2010). Utilization of timed automata as a verification tool for security protocols. Paper presented at the 4th IEEE International Conference on Secure Software Integration and Reliability Improvement Companion. doi:10.1109/SSIRI-C.2010.27
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 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. One of the application areas of timed automata is the verification of security protocols which are known to be time sensitive. This study aims to make use of timed automata as a verification tool for security protocols and gives a case study on the initial part of the Neuman- Stubblebine Repeated Authentication Protocol. © 2010 IEEE.
Description: 4th IEEE International Conference on Secure Software Integration and Reliability Improvement Companion, SSIRI-C 2010; Singapore; Singapore; 9 June 2010 through 11 June 2010
URI: http://doi.org/10.1109/SSIRI-C.2010.27
http://hdl.handle.net/11147/2664
ISBN: 9780769540870
Appears in Collections:Computer Engineering / Bilgisayar Mühendisliği
Scopus İndeksli Yayınlar Koleksiyonu / Scopus Indexed Publications Collection

Files in This Item:
File Description SizeFormat 
2664.pdfConference Paper1.22 MBAdobe PDFThumbnail
View/Open
Show full item record

CORE Recommender

SCOPUSTM   
Citations

4
checked on May 21, 2022

Page view(s)

44
checked on May 23, 2022

Download(s)

66
checked on May 23, 2022

Google ScholarTM

Check

Altmetric


Items in GCRIS Repository are protected by copyright, with all rights reserved, unless otherwise indicated.