Verifiable accountable subgroup multi-signatures
Doğrulanabilir hesap verilebilir altgrup çoklu imza şemaları
- Tez No: 849122
- Danışmanlar: DOÇ. DR. OĞUZ YAYLA
- Tez Türü: Doktora
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Bilim ve Teknoloji, Matematik, Computer Engineering and Computer Science and Control, Science and Technology, Mathematics
- Anahtar Kelimeler: Açık anahtarlı kripto sistemler, Eliptik eğriler, Sayısal imza, Public key cryptosystems, Elliptic curves, Digital signature
- Yıl: 2024
- Dil: İngilizce
- Üniversite: Orta Doğu Teknik Üniversitesi
- Enstitü: Uygulamalı Matematik Enstitüsü
- Ana Bilim Dalı: Kriptografi Ana Bilim Dalı (disiplinlerarası)
- Bilim Dalı: Uygulamalı Matematik Bilim Dalı
- Sayfa Sayısı: Belirtilmemiş.
Özet
Bu tezde, hesap verilebilir bir altgrup çoklu imza (ASM) çerçevesi tanıtıyoruz. Çerçeve, her biri seçilmiş mesaj saldırılarına karşı güvenli ve hesaplamalı co-Diffie-Hellman/psi-co-Diffie-Hellman varsayımına dayanan üç yeni eşleme tabanlı ASM şemasını, yani vASM, ASMwSA ve ASMwCA şemalarını içermektedir. İmza üretimi sırasında imzacı altgrubunun bilinmediği yeni ASM şemaları önererek bir açık problemi ele alıyoruz. Şemalarımız, imza üretimi, birleştirme ve doğrulama aşamalarında hesaplama verimliliği açısından mevcut yöntemleri geride bırakmaktadır. Ek olarak, doğrulanabilir hesap verilebilir altgrup çoklu imza şemasının imza yetkisinin kısmi ve hiyerarşik eşik delegasyonu için yeni metotlar öneriyoruz. Şemanın bir vekil imza olarak işlev görebileceğini, bir yetkili kullanıcının imza haklarını yetkisiz bir kullanıcıya veya gruba devretmesine izin verebileceğini gösteriyoruz. Özyinelemeli vASM uygulaması, Shamir'in sır paylaşım şeması, iç içe sır paylaşım ve hiyerarşik eşik sır paylaşımı kullanarak dört yeni yapı sunuyoruz ve bunların verimlilik ve güvenlik açısından karşılaştırmasını yapıyoruz. Ayrıca, vASM'nin grup kurulum yöntemi ile Damgaard ve diğerlerinin kafes tabanlı MS2 çoklu imza şemasını birleştirerek yeni bir kafes tabanlı ASM şeması (vMS2) öneriyoruz. Anahtar üretim, imza üretim ve doğrulama aşamalarının MS2 şemasıyla eşdeğer olduğunu gösteriyoruz. Önerdiğimiz vMS2 şeması, grup kurulumu sırasında müşterek doğrulanabilir gizli paylaşım şeması kullanarak hesap verilebilirliği altta yatan MS2 şemasının biraz üzerinde bir maliyetle gerçekleştirmektedir.
Özet (Çeviri)
In this thesis, we introduce an accountable subgroup multi-signature (ASM) framework. The framework comprises three novel pairing-based ASM schemes, i.e., vASM, ASMwSA and ASMwCA, each designed to be secure against chosen-message attacks and based on the computational co-Diffie-Hellman/ψ-co-Diffie-Hellman assumption. We address an open problem by proposing novel ASM schemes where the subgroup of signers is unknown before signature generation. Our schemes outperform existing methods in terms of computational efficiency in signature generation, aggregation, and verification. Additionally, we propose novel methods for compartment-based and hierarchical threshold delegation of signing power of the verifiable accountable subgroup multi-signature scheme. We demonstrate that the scheme can function as a proxy signature, allowing an authorized user to delegate signing rights to an unauthorized user or group. We present four constructions, employing the recursive application of vASM, Shamir's secret sharing scheme, nested secret sharing, and hierarchical threshold secret sharing, comparing their efficiency and security. Moreover, we propose a novel lattice-based ASM scheme (vMS2) by combining the group setup method of vASM with Damgård et al.'s lattice-based MS2 multi-signature scheme. We showcase the equivalence of key generation, signature generation, and verification phases with the MS2 scheme. Our vMS2 scheme achieves accountability through a joint verifiable secret sharing scheme during group setup, with a cost of slightly higher than the underlying MS2 scheme.
Benzer Tezler
- Kentsel dönüşüm çalışmalarında uzlaşma süreçlerinin stratejik ve bütüncül bir bakış açısıyla incelenmesi: Bayrampaşa Eski Cezaevi Alanı örneği
Kentsel dönüşüm çalışmalarında uzlaşma süreçlerinin stratejik ve bütüncül bir bakış açısıyla incelenmesi: Bayrampaşa Eski Cezaevi Alanı Örneği
HASAN HÜSEYİN OKUR
Yüksek Lisans
Türkçe
2019
Peyzaj Mimarlığıİstanbul Teknik ÜniversitesiPeyzaj Mimarlığı Ana Bilim Dalı
PROF. DR. ŞEVKİYE ŞENCE TÜRK
- L'articulation de l'éthique et de la politique chez Spinoza et Sartre
Spinoza ve Sartre'da etik ve politika eklemlenmesi
ZÜBEYDE GAYE ÇANKAYA EKSEN
- Verifiable timed commitments explored: Timed signature schemes and an application to sealed-bid auctions
Doğrulanabilir zamanlı taahhütlerin incelenmesi: Zamanlı imza şemaları ve kapalı teklif müzayedelerine uygulanması
DUYGU ÖZDEN
Doktora
İngilizce
2023
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolOrta Doğu Teknik ÜniversitesiKriptografi Ana Bilim Dalı (disiplinlerarası)
DOÇ. DR. OĞUZ YAYLA
- On verifiable internet voting systems
Doğrulanabilir internet oylama sistemleri hakkında
KÖKSAL MUŞ
Doktora
İngilizce
2016
MatematikOrta Doğu Teknik ÜniversitesiKriptografi Ana Bilim Dalı (disiplinlerarası)
DOÇ. DR. MURAT CENK
- Auditable and verifiable electronic voting with homomorphic RSA tallying
Homomorfik RSA sayımlı, izlenebilir ve denetlenebilir elektronik oylama
OKAN YÜCEL
Doktora
İngilizce
2010
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolOrta Doğu Teknik ÜniversitesiBilişim Sistemleri Bölümü
PROF. DR. NAZİFE BAYKAL
