A feedback-based testing methodology for network security software
Ağ güvenliği yazılımları için geri besleme temelli bir test yöntemi
- Tez No: 342900
- Danışmanlar: YRD. DOÇ. DR. SELMA TEKİR
- Tez Türü: Yüksek Lisans
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2013
- Dil: İngilizce
- Üniversite: İzmir Yüksek Teknoloji Enstitüsü
- Enstitü: Mühendislik ve Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Bilgisayar Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: Belirtilmemiş.
Özet
Ağ güvenlik testlerinin bir parçası olarak, bir yöneticinin, güvenlik duvarının güvenlik politikasını uygulayıp uygulamadığını bilmesi gerekir. Bu çerçevede, kara kutu testi ve değerlendirme metodolojileri faydalı olamaktadır. Bu çalışmada bit değerinin tersini almak olarak bilinen basit mutasyon operasyonlarını, hata barındıran mutant güvenlik duvarı politikaları oluşturması ve bunları daha önceden önerdiğimiz güvenlik duvarı test için ağırlıklandırılmış test durum seçim metodunu değerlendirmesinde kullanıyoruz. Daha önceden önerilmiş güvenlik duvarı testi yaklaşımında, güvenlik duvarı karar diyagramlarından otomatik olarak yaratılan soyut test tanımları, güvenlik duvarı politikasının her bir alanı için farklı test veri kümelerinden seçilmiş test girdi değerleri ile örneklendirilmiştir. Ayrıca önerilen yaklaşımı doğrulamak için bir vaka çalışması sunulmuştur.
Özet (Çeviri)
As part of network security testing, an administrator needs to know whether the firewall enforces the security policy as expected or not. In this setting, black-box testing and evaluation methodologies can be helpful. In this work, we employ a simple mutation operation, namely flipping a bit, to generate mutant firewall policies and use them to evaluate our previously proposed weighted test case selection method for firewall testing. In the previously proposed firewall testing approach, abstract test cases that are automatically generated from firewall decision diagrams are instantiated by selecting test input values from different test data pools for each field of firewall policy. Furthermore, a case study is presented to validate the proposed approach.
Benzer Tezler
- Knitted textiles as a growing medium for mycelium to enhance acoustic comfort in vertical landscape architecture
Miselyum için büyüme ortamı olarak örgü tekstillerin kullanımı: Dikey peyzaj mimarisinde akustik konforun artırılması
SHEIDA SHAKERI
Doktora
İngilizce
2026
Peyzaj Mimarlığıİstanbul Teknik ÜniversitesiPeyzaj Mimarlığı Ana Bilim Dalı
DR. ÖĞR. ÜYESİ MUHAMMED ALİ ORNEK
- Hesaplamalı tasarımda malzeme etmenliğine ilişkin bir değerlendirme metodolojisi
An evaluation methodology for material agency within computational design
ASUDE SENA KÖSEBAŞ YILDIZ
Yüksek Lisans
Türkçe
2025
Mimarlıkİstanbul Teknik ÜniversitesiBilişim Ana Bilim Dalı
DOÇ. DR. SEVİL YAZICI
DOÇ. DR. ETHEM GÜRER
DOÇ. DR. SERDAR AYDIN
- Konteyner kapasite ve taşıma planlama politikalarının sistem dinamiği yaklaşımı ile modellemesi
The system dynamics modelling for container capacity & transportation planning policies
MEHMET ÇAĞATAY BAHADIR
Doktora
Türkçe
2020
Endüstri ve Endüstri Mühendisliğiİstanbul Teknik Üniversitesiİşletme Mühendisliği Ana Bilim Dalı
PROF. DR. HATİCE CAMGÖZ AKDAĞ
- Havaalanında yer hizmeti veren bir firma için hedef programlama yaklaşımı
Başlık çevirisi yok
M.BARBAROS KUBATOĞLU
Yüksek Lisans
Türkçe
1998
İşletmeİstanbul Teknik Üniversitesiİşletme Mühendisliği Ana Bilim Dalı
YRD. DOÇ. DR. DEMET BAYRAKTAR
- Linking national business system with firm level innovation: The mediating role of intellectual capital and absorptive capacity
Firma düzeyi yeniliği ile bağlantılı ulusal iş sistemi: Entelektüel sermaye ve özümseme kapasitesinin arabulucu rolü
BASHİR AHMAD
Doktora
İngilizce
2017
İşletmeİstanbul Teknik Üniversitesiİşletme Ana Bilim Dalı
Assoc. Prof. Dr. MEHMET ERÇEK