Browsing "Computer Engineering / Bilgisayar Mühendisliği" by Subject Network security
Showing results 5 to 7 of 7
< previous
| Issue Date | Title | Author(s) |
|---|---|---|
| 2010 | Modeling efficient multi-chained stream signature protocol using communicating sequential processeses | Koltuksuz, Ahmet; Özkan, Murat; Külahçıoğlu, Burcu |
| 2011 | Mutation-based evaluation of weighted test case selection for firewall testing | Tuğlular, Tuğkan ; Gerçek, Gürcan |
| 2010 | Utilization of timed automata as a verification tool for security protocols | Koltuksuz, Ahmet; Külahçıoğlu, Burcu; Özkan, Murat |