Browsing by Author Özkan, Murat

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