Browsing by Author Külahçıoğlu, Burcu

Showing results 1 to 3 of 3
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 real-time security protocolsKülahçıoğlu, Burcu
2010Utilization of timed automata as a verification tool for security protocolsKoltuksuz, Ahmet; Külahçıoğlu, Burcu; Özkan, Murat