Özel blok zinciri ağlarda adli bilişim incelemesi ve kaynak koda dönüştüren araçların seçimi için dinamik bir uzman sistem tasarımı
A dynamic expert system design for selection of decompilation tools and examine on private blockchain networks
- Tez No: 848960
- Danışmanlar: PROF. DR. İSMAİL ŞAHİN
- 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: 2024
- Dil: Türkçe
- Üniversite: Gazi Üniversitesi
- Enstitü: Bilişim Enstitüsü
- Ana Bilim Dalı: Adli Bilişim Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 118
Özet
Blok zinciri alt yapısında gelişen akıllı sözleşmelerin çok farklı alanlarda karşımıza çıkması ile denetim mekanizmalarına da ihtiyaç olacağı açıktır. Ethereum açık ağında bulunan akıllı sözleşmeleri bayt koddan kaynak koda dönüştüren, hem akademik hem de ticari alanda araçlar bazı kısıtlamaları olmakla birlikte mevcuttur ancak özel ağlara özgü literatürde bir çalışmaya rastlanmamıştır. Bu çalışmada özel blok zincirlerde akıllı sözleşmelerin bayt koduna erişim ve bayt koddan kaynak koda çevirmek için izlenmesi gereken prosedürler çıkartılmıştır. Buna ek olarak, bir denetim sırasında açık ağlarda bayt koddan kaynak koda dönüştürmeye ihtiyaç olması halinde mevcut araçlardan hangisinin kullanılması gerektiğine karar verebilmek için gerekli testler uygulanmıştır. Daha önce karşılaştırmaları yapılmayan Elipmoc, Dsol ve Erays araçlarından; Elipmoc'un tespit edebildiği public fonksiyon oranı, hata vermeden dönüştürme yapabildiği sözleşme oranı ve tespit edebildiği evet oranı bakımından daha etkin olduğu görülmüştür. Bu çalışmada ayrıca bir kaynak koda dönüştürme aracı seçilmesine yardımcı dinamik bir uzman sistem tasarımı yapılmıştır. Özetle çalışmanın üç çıktısı bulunmaktadır; ilki akıllı sözleşmelerde bayt koddan kaynak koda dönüşüm yapan araçların seçimini yapacak dinamik uzman sistemin tasarlanmasıdır, ikincisi özel ağlarda yapılacak adli bilişim incelemelerinde izlemesi önerilen prosedür listesidir ve sonuncusu da özel ağlarda yapılacak incelemelerde kullanılabilecek ve zaman kazandıracak uygulamadır.
Özet (Çeviri)
The emergence of smart contracts in the blockchain infrastructure across various domains underscores the necessity for robust auditing mechanisms. While academic and commercial tools facilitating the decompilation of smart contracts from bytecode to source code on the Ethereum public network exist, they come with certain limitations. Notably, there is a gap in the literature regarding studies specifically tailored to private networks. This research outlines the recommended procedures for accessing the bytecode of smart contracts on private blockchains and translating them from bytecode to source code. Additionally, tests were conducted to ascertain the appropriate tool for bytecode-to-source transcoding in public networks during an audit. Among Elipmoc, Dsol, and Erays, which have not been compared previously, Elipmoc demonstrated superior effectiveness in detecting public functions, error-free contract decompilation, and event detection proportions. Furthermore, a dynamic expert system was designed in this study to assist in the selection of a decompiler tool. In summary, the research yields three primary outcomes: firstly, the design of a dynamic expert system for selecting tools for byte code to source code conversion in smart contracts; secondly, a recommended procedural list for digital forensics examinations conducted on private networks; and lastly, an application that can be employed in examinations on private networks, saving valuable time.
Benzer Tezler
- Mikroservis altyapısında oluşturulan blok zinciri imajının platform bağımsız entegrasyonu
Platform independent integration of blockchain image created in microservice infrastructure
TALHA SAMET SOLAKOĞLU
Yüksek Lisans
Türkçe
2023
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolKocaeli ÜniversitesiBilişim Sistemleri Mühendisliği Ana Bilim Dalı
DR. ÖĞR. ÜYESİ MEHMET ZEKİ KONYAR
- From media-based modulation to reconfigurable intelligent surfaces: Novel index modulation solutions
Ortam-tabanlı modülasyon'dan uyarlanabilir akıllı yüzeylere: Özgün indis modülasyon çözümleri
ZEHRA YİĞİT
Doktora
İngilizce
2022
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiElektronik ve Haberleşme Mühendisliği Ana Bilim Dalı
DOÇ. DR. ERTUĞRUL BAŞAR
PROF. DR. İBRAHİM ALTUNBAŞ
- Next-generation MIMO systems: From index modulation to deep learning
Yeni nesil çok-girişli çok-çıkışlı sistemler: İndis modülasyonundan derin öğrenmeye
BURAK ÖZPOYRAZ
Yüksek Lisans
İngilizce
2022
Elektrik ve Elektronik MühendisliğiKoç ÜniversitesiElektrik-Elektronik Mühendisliği Ana Bilim Dalı
DOÇ. DR. ERTUĞRUL BAŞAR
- Kripto varlıkların hukuki niteliği
The legal nature of cryptocurrency
BUĞRA MERTCAN KOÇ
Yüksek Lisans
Türkçe
2024
HukukHacettepe ÜniversitesiÖzel Hukuk Ana Bilim Dalı
DR. ÖĞR. ÜYESİ ELİF CEMRE HAZIROĞLU
- Internet of things security with blockchain
Blok zinciri ile nesnelerin interneti güvenliği
HAKAN ALTAŞ
Yüksek Lisans
İngilizce
2022
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolDokuz Eylül ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
DOÇ. DR. GÖKHAN DALKILIÇ