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 7 to 7 of 7 < previous 
Issue DateTitleAuthor(s)
2010Utilization of timed automata as a verification tool for security protocolsKoltuksuz, Ahmet ; Külahçıoğlu, Burcu; Özkan, Murat