Browsing by Subject Network security

Showing results 1 to 14 of 14
Issue DateTitleAuthor(s)
2009The 1st workshop on model-based verification & validation: Directed acyclic graph modeling of security policies for firewall testingTuğlular, Tuğkan ; Kaya, Özgür; Müftüoğlu, Can Arda; Belli, Fevzi 
2008Automatic enforcement of location aware user based network access control policiesTuğlular, Tuğkan 
Dec-2020Blackhole attacks in IoT networksSokat, Barış 
Feb-2011Challenges for the security analysis of next generation networksAtay, Serap ; Masera, Marcelo
2008Comparing the pre- and post-specified peer models for key agreementMenezes, Alfred; Ustaoğlu, Berkant 
2017Comparison of group key establishment protocolsŞahin, Serap ; Aslanoğlu, Rabia
Jun-2019Extended topology analysis of a detection mechanism implementation against Botnet Based DDoS flooding attack in SDNKarakış, Emre
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
2023New Security Proofs and Complexity Records for Advanced Encryption StandardKara, O. 
2021NFA based regular expression matching on FPGASert, Kamil; Bazlamaçcı, Cüneyt 
2022A novel countermeasure for selective forwarding attacks in IoT networksYaman, Okan; Sokat, Barış ; Ayav, Tolga ; Erten, Yusuf Murat 
2009Towards denial-of-service-resilient key agreement protocolsStebila, Douglas; Ustaoğlu, Berkant 
2010Utilization of timed automata as a verification tool for security protocolsKoltuksuz, Ahmet ; Külahçıoğlu, Burcu; Özkan, Murat