03.04. Department of Computer Engineering

OrgUnit's Researchers publications
(Dept/Workgroup Publication)

Refined By:
Date Issued:  [2000 TO 2009]
Date Issued:  2009
Author:  Tuğlular, Tuğkan

Results 1-5 of 5 (Search time: 0.055 seconds).

Issue DateTitleAuthor(s)
12009The 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 
22009An architecture for verification of access control policies with multi agent system ontologiesTekbacak, Fatih; Tuğlular, Tuğkan ; Dikenelli, Oğuz
32009Event-based input validation using design-by-contract patternsTuğlular, Tuğkan ; Müftüoğlu, Can Arda; Belli, Fevzi ; Linschulte, M.
42009GUI-based testing of boundary overflow vulnerabilityTuğlular, Tuğkan ; Müftüoğlu, Can Arda; Kaya, Özgür; Belli, Fevzi ; Linschulte, M.
52009Protocol-based testing of firewallsTuğlular, Tuğkan ; Belli, Fevzi