New dynamic group key agreement protocols and their formal analysis and applications
Yeni grup anahtarı anlaşma protokolleri ve biçimsel analiz ve uygulamaları
- Tez No: 474342
- Danışmanlar: PROF. DR. MEHMET UFUK ÇAĞLAYAN, PROF. DR. EMİN ANARIM
- Tez Türü: Doktora
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2017
- 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ı: 199
Özet
Dağıtık sistemlerde dinamik grup anahtarı anlaşma protokollerinin nedeni dinamik katılımcı kümesinin grup anahtarını güvenli bir şekilde hesaplamasını sağlamaktır. Dinamik grup anahtarı anlaşma protokollerinin konferans iletişimi, dosya paylaşım sistemleri ve mobil tasarsız ağlarda kullanılması beklenir. Dinamik grup anahtarı anlaşma protokollerinde katılımcıların sayısı, katılımcıların gruba katılmaları ve ayrılmaları yüzünden zamanla değişe-bilir. Gruba katılma ve ayrılma işlemlerinin güvenliği sırasıyla geriye doğru gizlilik ve ileriye doğru gizlilik özellikleri ile sağlanabilir. Halihazırda var olan grup anahtarı oluşturma protokollerinin kullanımında problemlerin listesi şu şekildedir: (i) konferans iletişimde yetersiz hata tespiti, (ii) dosya paylaşım sistemlerinde mahremiyetin sağlanamaması, kullanılabilirliğin ihlali, katılımcıların erişim haklarının yetersiz bir yöntem ile iptal edilmesi, güvenilir üçüncü şahıslara bağımlılık ve (iii) mobil tasarsız ağlarda güvenli olmayan küme başı seçimi. Bu tezde, ilk olarak hata tespiti ve düzeltilmesinde daha iyi performans sağlayan dinamik grup yetenekleri ile iyileştirilmiş Dinamik Konferans Anahtarı Anlaşma Protokolünü öneriyoruz. Daha sonra ise önerilen protokolün etkili erişim haklarının iptal olmasını sağlayan Üç-Aşamalı Güvenli Dosya Paylaşım sistemini öneriyoruz. İkinci olarak, Kısmi Geriye Doğru Gizlilik yöntemini sağlayan Anahtar Anlaşma Protokolünü öneriyoruz. Kısmi Geriye Doğru Gizlilik özelliği, yeni katılımcıya gruba dahil olmadan bir önceki grup anahtarının hesaplanmasını sağlayan yeni bir güvenlik özelliğidir. Önerilen özellik ile bağlantılı olarak, özel Dosya Paylaşım Sistemini öneriyoruz. Üçüncü olarak, Mobil Tasarsız Ağlar için Grup Anahtarı Anlaşma Protokolünü öneriyoruz. Bu protokolde, Mobil tasarsız ağlarda yeni ve güvenli küme başı seçimini konseptini öneriyoruz.
Özet (Çeviri)
The essence of dynamic group key agreement protocols is to help compute a secure key for a group communication with a dynamic set of participants in distributed systems. Dynamic group key agreement protocols are expected to be used in applications such as conference communications, file sharing systems and mobile ad hoc networks. In dynamic group key agreement protocols, the number of participants may vary in time because of participants are joining or leaving a group. The security of such operations is affected by the existence of backward confidentiality and forward confidentiality, respectively. There are a number of problems related to the use of existing dynamic group key agreement protocols: (i) inefficient fault detection in conference communications, (ii) lack of privacy, violation of availability, inefficient participant revocation, dependency for key escrow in file sharing systems and (iii) insecure cluster head selection in mobile ad hoc networks. In this thesis, we first introduce an improved Dynamic Conference Key Agreement Protocol with dynamic group capabilities to provide better performance in fault detection and correction. Then, we show the application of the proposed protocol on Three-Tier Secure File Sharing System with efficient participant revocation. Second, we propose another Key Agreement Protocol with Partial Backward Confidentiality. The partial backward confidentiality property is a novel security property that allows a new participant to compute the last valid group key just before joining the group. In relation to this protocol, we propose a Private File Sharing System. Third, we propose a Group Key Agreement Protocol for Mobile Ad hoc Networks. In this protocol, we introduce the new concept of secure cluster head selection.
Benzer Tezler
- Gelişmekte olan ülkelerde teknoloji politikalarının belirlenmesi ve Türkiye'deki durum
Technology policies in developing countries and the situatiın in Turkey
MEHPARE BARIŞ
Yüksek Lisans
Türkçe
1997
Endüstri ve Endüstri Mühendisliğiİstanbul Teknik ÜniversitesiMühendislik Yönetimi Ana Bilim Dalı
DOÇ. DR. TUFAN V. KOÇ
- Avrupa İnsan Hakları Mahkemesi kararlarının uygulanması: Türkiye örneği
Implementation of judgments of the European Court of Human Rights: The Turkish example
MUAMMER ÖZ
- 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
GÖKCAN ÇANTALI
Yüksek Lisans
İngilizce
2019
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolBoğaziçi ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
PROF. DR. CEM ERSOY
PROF. DR. MEHMET UFUK ÇAĞLAYAN
- Birikimli kanı dereceleri yaklaşımına dayalı yeni bir grup karar verme yöntemi
A novel group decision making approach based on the cumulative belief degrees
BİLAL ERVURAL
Doktora
Türkçe
2018
Endüstri ve Endüstri Mühendisliğiİstanbul Teknik ÜniversitesiEndüstri Mühendisliği Ana Bilim Dalı
DOÇ. DR. ÖZGÜR KABAK
- Türk ticari bankalarının örgüt yapıları ve Avrupa Birliğine geçiş süreci içerisindeki uyum çalışmaları
Başlık çevirisi yok
SERKANT GÖNCÜ
Yüksek Lisans
Türkçe
1998
Mühendislik Bilimleriİstanbul Teknik Üniversitesiİşletme Mühendisliği Ana Bilim Dalı
DOÇ. DR. İSMAİL HAKKI BİÇER