Geri Dön

A policy specification language for an 802.11 wlan with enhanced security network

Güvenlik ağı ile güçlendirilmiş 802.11 telsiz yerel alan ağı için politika tanımlama dili

  1. Tez No: 152520
  2. Yazar: HANDAN GÜL ÇALIKLI
  3. Danışmanlar: PROF. DR. MEHMET UFUK ÇAĞLAYAN
  4. Tez Türü: Yüksek Lisans
  5. Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
  6. Anahtar Kelimeler: Belirtilmemiş.
  7. Yıl: 2004
  8. Dil: İngilizce
  9. Üniversite: Boğaziçi Üniversitesi
  10. Enstitü: Fen Bilimleri Enstitüsü
  11. Ana Bilim Dalı: Makine Mühendisliği Ana Bilim Dalı
  12. Bilim Dalı: Belirtilmemiş.
  13. Sayfa Sayısı: 113

Özet

ÖZET GÜVENLİK AGI İLE GÜÇLENDİRİLMİŞ 802.11 TELSİZ YEREL ALAN AĞI İÇİN POLİTİKA TANIMLAMA DİLİ Geniş alan ağlarında her yönetimsel alan bir grup güvenlik politikasına sahip tir. Yönetimsel alanlar birbirlerinden izole olmadığı için, sözkonusu güvenlik poli tikalarının entegrasyonu dikkate alınmalıdır. Dizüstü ve avuçiçi bilgisayarlar gibi mo- bil aygıtların varlığı, sözkonusu problemi daha karışık hale getirmektedir. Bu yüzden, farklı yönetimsel alanların güvenlik politikalarını oluşturan güvenlik politikası ele manlarının arasındaki uyuşmazlıktan kaynaklanan güvenlik açıklarının meydana gelme si kaçınılmazdır. Sözkonusu güvenlik açıklarının saptanması için formal bir politika tanımlama diline ihtiyaç vardır. Şu anda güvenlik politikalarını tanımlamakta kul lanılan konuşma dili ile karşılaştırıldığında, formal dilin avantajı Isabelle gibi teo rem ispatlama amaçlı yazılımların desteği ile güvenlik politikalarının doğrulanmasının mümkün olmasıdır. Bu tezde güvenlik ağı ile güçlendirilmiş 802.11 telsiz alan ağları için politika tammlama dili elde etmek amacı ile varolan Mobaati formal modeline ek lemeler yapılmıştır. Sözkonusu eklemeler, Mobadti modeline ait devingenlik ve haber leşme aksiyomlarına; sistem bilgisine, mimari operasyonlara ve dosya erişim operasyon larına ilişkin aksiyomların ilave edilmesi ile gerçekleştirilmiştir. Ortaya çıkan politika tanımlama dilinde örnek doğrulamalar, Mobadtı modeli için geçtirilmiş olan MaRK teorem ispatlama yazılımını, yazılım içinde gerekli uyarlamalar yapılmış hah ile kulla narak yapılmıştır.

Özet (Çeviri)

IV ABSTRACT A POLICY SPECIFICATION LANGUAGE FOR AN 802.11 WLAN WITH ENHANCED SECURITY NETWORK In wide area networks, each administrative domain owns a set of security poli cies. Integration of these security policies should be considered, since administrative domains are not isolated from each other. The existence of mobile devices such as lap tops, PDAs and mobile agents makes the problem more complicated. Thus, existence of security flaws arising from inconsistencies among the elements of security policies of different administrative domains is inevitable. In order to detect such security flaws a formal policy specification language is needed. The advantage of a formal language compared to the natural language, is that it makes the verification of security poli cies via automated theorem proving tools, such as Isabelle, possible. In this thesis, we extend the existing network-aware formal model Moba(ni to obtain a formal policy specification language for 802.11 wireless LANs with enhanced security network. Ex tensions are made by adding axioms for system information, architectural operations and file access operations to existing mobility and communication axioms of Mobacıtı. In order to perform sample verifications using the axioms we formed, a proof assistant for Mobadti called MaRK is used with the necessary adaptations made.

Benzer Tezler

  1. Tez No

    154618

    Policy enforcement

    Strateji uygulama

    DELAL NASIR

    Yüksek Lisans

    İngilizce

    İngilizce

    2004

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik Üniversitesi

    Kontrol ve Bilgisayar Mühendisliği Ana Bilim Dalı

    PROF. DR. MEHMET BÜLENT ÖRENCİK

  2. Tez No

    843941

    Yüksek başarımlı ve merkeziyetsiz hesaplama sistemlerinde politika tabanlı yönetim

    Policy based management in high performance and decentralized computing systems

    TANER DURSUN

    Doktora

    Türkçe

    Türkçe

    2023

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik Üniversitesi

    Bilgisayar Mühendisliği Ana Bilim Dalı

    PROF. DR. BURAK BERK ÜSTÜNDAĞ

  3. Tez No

    39890

    Toplam kalite yönetimi

    Total quality management

    BAŞAK TÜZÜN

    Yüksek Lisans

    Türkçe

    Türkçe

    1994

    Mühendislik Bilimleriİstanbul Teknik Üniversitesi

    PROF.DR. AYHAN TORAMAN

  4. Tez No

    394838

    A complementary study on European Portfolio for student teachers of languages in relation to the European Profiling Grid

    Dil öğretmen adaylarına yönelik Avrupa Portfolyosu üzerine Avrupa Profil Belirleme Gridi ile ilişkili tamamlayıcı bir çalışma

    AYFER SU BERGİL

    Doktora

    İngilizce

    İngilizce

    2015

    Eğitim ve ÖğretimHacettepe Üniversitesi

    Yabancı Diller Eğitimi Ana Bilim Dalı

    DOÇ. DR. ARİF SARIÇOBAN

  5. Tez No

    75560

    Modern kaynak teknolojisinin 100 yılı: Teknik buluşlar, kalite yönetimi, standartlar

    Başlık çevirisi yok

    MURAT AYDEMİR

    Yüksek Lisans

    Türkçe

    Türkçe

    1998

    Makine Mühendisliğiİstanbul Teknik Üniversitesi

    Makine Mühendisliği Ana Bilim Dalı

    PROF. DR. SELAHADDİN ANIK

Geri Dön