03.04. Department of Computer Engineering

Bibliometrics Email Alert

OrgUnit's Researchers publications
(Dept/Workgroup Publication)

Refined By:
Subject:  Network security
Subject:  Security protocol verification

Results 1-2 of 2 (Search time: 0.003 seconds).

Issue DateTitleAuthor(s)
12010Modeling efficient multi-chained stream signature protocol using communicating sequential processesesKoltuksuz, Ahmet ; Özkan, Murat; Külahçıoğlu, Burcu
22010Utilization of timed automata as a verification tool for security protocolsKoltuksuz, Ahmet ; Külahçıoğlu, Burcu; Özkan, Murat