Analytical models for the scalability of dynamic group key agreement protocols and secure file sharing systems
Dinamik grup anahtar anlaşma protokollerinin ve güvenli dosya paylaşım sistemlerinin ölçeklenebilirliği için analitik modeller
- Tez No: 539473
- Danışmanlar: PROF. DR. CEM ERSOY, PROF. DR. MEHMET UFUK ÇAĞLAYAN
- Tez Türü: Yüksek Lisans
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
- Anahtar Kelimeler: Ağ performansı, Bilgisayar ağları güvenliği, Veri şifreleme, Network performance, Computer networks security, Data encryption
- Yıl: 2019
- Dil: İngilizce
- Üniversite: Boğaziçi Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Bilgisayar Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: Belirtilmemiş.
Özet
Dinamik grup anahtarı anlaşma protokolleri, dağıtık ve dinamik ağlarda güvenli grup iletişimi sağlayan temel kriptografik öğelerdir. Bu protokoller, sağladıkları faz-ladan operasyonlar ile gruba yeni katılımcılar eklendiğinde ya da mevcut katılımcılar gruptan ayrıldığında, protokolü en baştan çalıştırmadan grup anahtarının güncellen-mesini sağlamaktadır. Ancak, grup katılımcılarının sayısı arttıkça, ölçeklenebilirlik eksikliği dinamik grup anahtarı anlaşma protokollerinin başlıca sorunlarından biri haline gelmektedir. Örnek olarak, büyük gruplara sık bir şekilde gelen katılımcı ekleme isteği Dağıtık Servis Dışı Bırakma saldırısına benzer bir etkiye sebep olarak, sistemin kullanılırlığının ihlal edilmesine yol açabilir. Bu sebeple, dinamik grup anahtarı anlaşma protokollerinin ölçeklenebilirlik analizinin yapılması, sistemin kullanılamaz noktaya geldiği durumların tespiti açısından çok önemlidir. Bu tezde, dinamik grup anahtarı anlaşma protokollerinin ölçeklenebilirlik değerlendirmesini kuyruk modelleri aracılığıyla yapan biçimsel bir başarım modeli öneriyoruz. Ayrıca, başarım modelimizi dinamik grup anahtarı anlaşma protokolleri kullanan güvenli dosya paylaşım sistemlerinin ölçeklenebilirlik analizini de kapsayacak şekilde genişletiyoruz. Buna ek olarak, modelimizin örnek bir dinamik grup anahtarı anlaşma protokolü ve bir güvenli dosya paylaşım sistemi üzerinde uygulanabilirliğini gösteren bir kullanım senaryosu sunuyoruz. Dahası, grup iletişim sistemlerine karşı kullanılabilecek saldırı modelleri tasarlayarak, hedef alınan sistemin bir siber saldırı altında nasıl etkilendiğini gösteriyoruz.
Özet (Çeviri)
Dynamic group key agreement protocols are cryptographic primitives to provide secure group communications in decentralized and dynamic networks. Such protocols provide additional operations to update the group key while adding new participants into the group and removing existing participants from the group without re-executing the protocol from the beginning. However, the lack of scalability emerges as one of the most significant issues of dynamic group key agreement protocols when the number of participants in the group increases. For instance, frequent participant join requests for large groups may cause an effect similar to a Distributed Denial of Service attack and violate the system availability due to the increase in group key update time. Therefore, analyzing the scalability of dynamic group key agreement protocols is crucial to detect conditions where the system becomes unavailable. In this thesis, we propose a formal performance model to evaluate the scalability of dynamic group key agreement protocols by using queueing models. We also extend our performance model for evaluating the scalability of secure file sharing systems that utilize group key agreement protocols. Moreover, we present a demonstrative use case to show the applicability of our performance model on an example group key agreement protocol and a secure file sharing system. Furthermore, we design attack models that can be used against communication systems and explain how the target system may be affected by a cyber attack.
Benzer Tezler
- Sosyo-ekolojik sistem olarak peyzaj değerlerinin su tabanlı ekosistemlerde irdelenmesi: Köyceğiz lagünü
Examination of landscape values as socio-ecological systems in aquatic ecosystems: The case of Koycegiz lagoon
ESRA TEKELİ
Doktora
Türkçe
2025
Peyzaj Mimarlığıİstanbul Teknik ÜniversitesiPeyzaj Mimarlığı Ana Bilim Dalı
PROF. DR. FATMA AYÇİM TÜRER BAŞKAYA
- The military use of robotic swarms and its implications for international security and the future of warfare: A comparative study of China and the United States
Robotik sürülerin askeri kullanımı ve uluslararası güvenlik ve savaşın geleceği üzerindeki etkileri: Çin ve Amerika Birleşik Devletleri üzerine karşılaştırmalı bir çalışma
AHMET EREN ÜNCEL
Yüksek Lisans
İngilizce
2025
Uluslararası İlişkilerİstanbul ÜniversitesiSiyaset Bilimi ve Uluslararası İlişkiler Ana Bilim Dalı
PROF. DR. ÖZGÜN ERLER BAYIR
- A strategic framework for enhancing affordability in housing construction using recycled plastic bricks.
Geri dönüştürülmüş plastik tuğlalar kullanılarak konut inşaatında uygun fiyatlılığı artırmaya yönelik stratejik bir çerçeve.
MODUPE ODEMAKIN
Doktora
İngilizce
2026
Mimarlıkİstanbul Okan ÜniversitesiMimarlık Ana Bilim Dalı
ASSOC. PROF. DR. SEYHAN YARDIMLI
ASSISTANT PROFESSOR MELODY SAFARKHANI
- Spor girişimciliği bağlamında sürdürülebilirlik: Güler Legacy örneği
Sustainability in the context of sports entrepreneurship: The case of Güler Legacy
ONUR GÜREL
Yüksek Lisans
Türkçe
2026
İşletmeBandırma Onyedi Eylül Üniversitesiİşletme Ana Bilim Dalı
DOÇ. DR. SERTAÇ ERCAN
- Leveraging blockchain for intelligent predictive maintenance frameworks in the industrial internet of things
Endüstriyel nesnelerin internetinde akıllı öngörücü bakım çerçeveleri için blokzincir kullanımı
MONTDHER ALABADI
Doktora
İngilizce
2024
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolKarabük ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
DOÇ. DR. ADIB HABBAL