Browsing "Computer Engineering / Bilgisayar Mühendisliği" by Subject Network security


Subject
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 5 to 7 of 7 < previous 
Issue DateTitleAuthor(s)
2010Modeling efficient multi-chained stream signature protocol using communicating sequential processesesKoltuksuz, Ahmet ; Özkan, Murat; Külahçıoğlu, Burcu
2011Mutation-based evaluation of weighted test case selection for firewall testingTuğlular, Tuğkan ; Gerçek, Gürcan
2010Utilization of timed automata as a verification tool for security protocolsKoltuksuz, Ahmet ; Külahçıoğlu, Burcu; Özkan, Murat