Secure hardware cryptocurrency wallet within common criteria framework
Ortak kriterler çerçevesi içinde güvenli donanım kripto para cüzdanı
- Tez No: 576568
- Danışmanlar: PROF. DR. ENSAR GÜL, DR. İSA SERTKAYA
- Tez Türü: Yüksek Lisans
- Konular: Elektrik ve Elektronik Mühendisliği, Electrical and Electronics Engineering
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2019
- Dil: İngilizce
- Üniversite: İstanbul Şehir Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Siber Güvenlik Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: Belirtilmemiş.
Özet
Satoshi Nakamoto takma adıyla yayınlanan Bitcoin makalesi dagıtık güven modelini amaçlayan kripto para birimi, blokzincir ve dagıtık kayıt teknolojilerinin ortaya çıktıgı yeni bir çıgır açmıstır. Bu gelismekte olan teknolojiler hakkında hem kaynak hem de gelecek ile ilgili kapsamlı bir tartısma olsa bile, ürün sayısı, çalısmalar ve projeler gün geçtikçe artmaktadır. Bunlardan en önemlisi, kripto cüzdanlarıdır ki dagıtık güven ve mahremiyet koruma çözümleri, temel kriptografik ilkellere ve bunlara karsılık gelen kriptografik anahtarlara dayanır. Neredeyse tüm kripto para birimleri, kullanıcılarının bireysel olarak kendi kriptografik anahtarlarını yönetmelerini gerektirir ya da kripto para birimi cüzdanlarını kullanmalarını önerir. Bir kripto para cüzdanı veya kısaca kripto cüzdanı, bir veya daha fazla özel-açık anahtar ve ilgili adresleri olusturmak ve depolamak zorundadır. Bu anahtarlar, kripto para islemlerini onaylamak için kullanıldıgından cüzdana erisen herhangi bir düsman, anahtarlarla güvence altına alınan tüm varlıkları ele geçirebilir. Bu nedenle, kripto para cüzdan çözümleri ve ürünleri dikkatli bir sekilde analiz edilmeli ve mümkünse en bastan sertifikalandırılmalıdır. Bu tezde, esas olarak bir kripto para cüzdanının güvenlik analizinin ne kadar derin ve nasıl yapılması gerektigine odaklanıyoruz. Analiz çerçevesini tasvir etmek için Ortak Kriterler (CC) Degerlendirme yöntemini takip etmeyi öneriyoruz. CC degerlendirme çerçevesi, resmi bir degerlendirme metodolojisidir. Bu amaçla, cüzdanların varsayımları, riskleri, tehditleri ve güvenlik açıkları tanımlanacaktır. Ayrıca, tehditlerin cüzdan içinde nasıl önlenecegini ve çevre ve kullanıcılar tarafından ne tür önlemler alınması gerektigini gösteren hedefler ayrıntılı olarak açıklanacaktır. Güvenlik gereksinimlerini anlamak için, blokzincir teknolojisi ve önde gelen kripto para birimi olan Bitcoin açıklanacak ve kripto para cüzdanları sınıflandırılacaktır. Ayrıca, fiziksel ve mantıksal gereksinimler açısından güvenli bir donanım cüzdan tasarımı önerecegiz. Ardından, önerilen cüzdanı pazardaki diger donanım cüzdanlarıyla karsılastıracagız. Bu tezin, Koruma Profili, Güvenlik Hedefi gibi standartlastırılmıs CC dokümanları olusturmak için temel bir kaynak olabilecegine inanıyoruz. Ayrıca, bu çalısma kripto para cüzdanlarının tasarım, test ve analiz asamaları için baslıca bir kaynak olacaktır.
Özet (Çeviri)
Bitcoin paper, published under a pseudonym Satoshi Nakamoto, opened a new era; cryptocurrencies, blockchain and distributed ledger technologies that are aiming distributed trust model. Even if there has been an ongoing extensive discussion both on the origin and the future about these developing technologies, number of products, studies and projects are increasing day by day. Among these the most crucial one is crypto wallets since the distributed trust and privacy preserving solutions are all relies on the underlying cryptographic primitives and the corresponding cryptographic keys. Almost all the cryptocurrencies require their users individually manage their own cryptographic keys or recommend use of cryptocurrency wallets. A cryptocurrency wallet or shortly, crypto wallet, has to generate and store one or more public-private keys and corresponding addresses. These keys authenticate corresponding transactions, hence any adversary who gains access to a wallet may seize all the assets secured with them. Therefore, cryptocurrency wallet solutions and products should be carefully analyzed and better to be certified if possible from the very beginning. In this thesis, we mainly focus on to what extend and how a cryptocurrency wallet's security analysis should be pursued. In order to formally portray the analysis framework, we propose to follow the Common Criteria (CC) Evaluation framework. CC evaluation framework is a formal evaluation methodology. For this purpose, assumptions, risks, threats and security vulnerabilities of the wallets will be defined. Also, objectives showing how these threats will be countered inside the wallet and what kind of measures should be taken by the environment and users will be detailed. In order to understand the security requirements, blockchain technology and Bitcoin which is the leading cryptocurrency will be explained and cryptocurrency wallets will be classified. In addition, we are going to propose a secure hardware wallet design in terms of physical and logical requirements. Then, we will compare the proposed wallet with other hardware wallets on the market. We believe that this thesis may be basic resource for creating standardized CC documents such as Protection Profile(PP), Security Target(ST) etc. Furthermore, this study would be a brief source for cryptocurrency wallets' design, test and analysis phases.
Benzer Tezler
- Çoklu amaçların çözümlemesinde amaç programlaması ile genelleştirilmiş ters yaklaşımı ve yem sanayiinde bir uygulama
Goal programming and generalieed inverse approaches in the multi-objective analysis and application in feed industry
HASAN BAL
- Türkiye'de üretilen dikiş ipliklerinin incelenmesi ve konfeksiyon endüstrisinde kullanım uygunluklarının araştırılması
Başlık çevirisi yok
CUMHUR ÇAKMAN
Yüksek Lisans
Türkçe
1985
Tekstil ve Tekstil MühendisliğiEge ÜniversitesiTekstil Mühendisliği Ana Bilim Dalı
DOÇ. DR. M. NAZMİ ERCAN
- Hipodramların peyzaj planlama ilkelerine göre düzenlenmesi üzerinde araştırmalar“Veli efendi hipodromu örneklemesi”
A Survey on the arrangement of the hippodromes according to the landscape planning prinaples
LEVENT BOYACIOĞLU
Yüksek Lisans
Türkçe
1987
MimarlıkEge ÜniversitesiPeyzaj Mimarlığı Ana Bilim Dalı
PROF. DR. AYSEL BAYRAKTAR
- Çok parçalı sistemlerin analizine bir örnek: azdırma malafa sisteminin deformasyon analizi
An Example to the analysis of multi-part systems: defermation analysis of an arbor mechanism in a hobbing machine
ERKAN GÜRSEL
- Kenar ağlarında nokta yatay konumu inceliği
The Precission for the horizontal position of the point in trilateration net
ALİ RIZA YURDAKUL
- 1964-1979 döneminde Türkiye'nin dış ticareti ve bir model denemesi
Başlık çevirisi yok
FÜSUN KAVRAKOĞLU