Browsing by Author Koltuksuz, Ahmet
Showing results 24 to 25 of 25
< previous
Issue Date | Title | Author(s) |
---|---|---|
2010 | Utilization of timed automata as a verification tool for security protocols | Koltuksuz, Ahmet ; Külahçıoğlu, Burcu; Özkan, Murat |
2008 | The web-based application of key exchange protocols for digital and mobile signatures | Akalp, Evren |