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
2
Koltuksuz, Ahmet
2
Külahçıoğlu, Burcu
Subject
2
Security protocol verification
1
Communicating Sequential Processeses
1
Model checking
1
Processeses
1
Timed automata
Date issued
2
2010
Type
2
Conference Object
Close filters
Refined By:
Subject:
Network security
Author:
Özkan, Murat
Fulltext:
With Fulltext
Results 1-2 of 2 (Search time: 0.005 seconds).
Issue Date
Title
Author(s)
1
2010
Modeling efficient multi-chained stream signature protocol using communicating sequential processeses
2
2010
Utilization of timed automata as a verification tool for security protocols