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

Showing results 1 to 7 of 7
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 
Feb-2011Challenges for the security analysis of next generation networksAtay, Serap ; Masera, Marcelo
2017Comparison of group key establishment protocolsŞahin, Serap ; Aslanoğlu, Rabia
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