Skip navigation
GCRIS
Home
Collections
Research Outputs
Researchers
Organizations
Projects
Reports
Awards
Equipments
Explore by
Collections
Research Outputs
Researchers
Organizations
Projects
Help
Sign on to:
My GCRIS Repository
Receive email
updates
Edit Account details
03.04. Department of Computer Engineering
Bibliometrics
Email Alert
Organizations
Information
Publications
OrgUnit's Researchers publications
(Dept/Workgroup Publication)
Show/Hide filters
Author
1
Külahçıoğlu, Burcu
Subject
1
Security protocol verification
1
Timed automata
Date issued
1
2010
Fulltext
1
With Fulltext
Close filters
Refined By:
Subject:
Network security
Author:
Koltuksuz, Ahmet
Subject:
Model checking
Type:
Conference Object
Author:
Özkan, Murat
Results 1-1 of 1 (Search time: 0.005 seconds).
Issue Date
Title
Author(s)
1
2010
Utilization of timed automata as a verification tool for security protocols