Tersine mühendislik yöntemleri ile android uygulama güvenliği analizi
Android application security analysis with reverse engineering methods
- Tez No: 1016917
- Danışmanlar: PROF. DR. HİKMET HAKAN GÜREL
- Tez Türü: Yüksek Lisans
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
- Anahtar Kelimeler: Güvenlik analizi, Safety analysis
- Yıl: 2026
- Dil: Türkçe
- Üniversite: Kocaeli Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Bilişim Sistemleri Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: Belirtilmemiş.
Özet
Bu tez çalışmasında, Android işletim sistemi(Android Operating System- OS) ekosistemindeki mobil uygulama güvenliği, tersine mühendislik (Reverse Engineering) yöntemleri kullanılarak kapsamlı bir şekilde analiz edilmiştir. Günümüzde mobil cihazların kritik kişisel ve finansal verilerin yönetiminde birincil araç haline gelmesi, özellikle güvenli mesajlaşma platformlarının siber dayanıklılık seviyelerinin bilimsel yöntemlerle denetlenmesini zorunlu kılmıştır. Çalışma kapsamında, Uçtan Uca Şifreleme (End-to-End Encryption - E2EE) vaadiyle öne çıkan açık kaynaklı Wire Secure Messenger uygulaması hedef olarak seçilmiştir. Analiz sürecinde; statik kod incelemesi (SAST), dinamik izleme (Frida), aradaki adam saldırısı (MITM) ve bellek adli bilişimi (Memory Forensics) yöntemlerini birleştiren hibrit bir metodoloji izlenmiştir. Uygulamanın sertifika sabitleme (SSL Pinning) ve kriptografik süreçleri yerel (C++) katmana taşıyarak BoringSSL kütüphanesi ile izole etmesi, standart dinamik analiz araçlarına karşı üst düzey direnç sağladığı kanıtlanmıştır. Çift Mandal (Double Ratchet) protokolünün uygulanması sayesinde“Gelecek Gizliliği”(Forward Secrecy) prensibinin başarıyla uygulandığı ve anahtar materyallerinin işlem sonrası bellekten temizlendiği (Key Shredding) doğrulanmıştır. Statik veri güvenliği tarafında SQLCipher (AES-256) kullanımı ile yüksek koruma sağlandığı, ancak paylaşılan tercihler (Shared Preferences) klasöründe bazı üst verilerin (Metadata) şifresiz tutulduğu saptanmıştır. Sonuç olarak bu çalışma; modern mobil uygulamalarda güvenliğin sadece yazılım kısıtlamalarıyla değil, donanım destekli ve yerel katman izolasyonuna dayalı bir mimari ile sağlanabileceğini ortaya koymuştur. Elde edilen veriler ışığında, mobil uygulama geliştiricileri ve güvenlik araştırmacıları için teknik iyileştirme önerileri sunulmuştur.
Özet (Çeviri)
This thesis presents a comprehensive security analysis of mobile applications within the Android operating system ecosystem, utilizing advanced Reverse Engineering methodologies. As mobile devices have become the primary instruments for managing critical personal and financial data, the scientific auditing of cyber resilience levels in secure messaging platforms has become a strategic necessity. Within the scope of this study, the open-source Wire Secure Messenger application, prominent for its end-to-end encryption (E2EE) claims, was selected as the research target. A hybrid methodology was employed, integrating Static Application Security Testing (SAST), dynamic instrumentation (Frida), Man-in-the-Middle (MITM) attacks, and Memory Forensics. The application's strategy of isolating certificate validation (SSL Pinning) and cryptographic processes within the Native (C++) layer via the BoringSSL library provides high-level resistance against standard dynamic analysis tools. The implementation of the Double Ratchet protocol successfully ensures Forward Secrecy, with memory forensics confirming the immediate erasure of key materials (Key Shredding) post-processing. 3. While data-at-rest security is robustly maintained through SQLCipher (AES-256), certain metadata remnants were identified in unencrypted formats within the Shared Preferences directory. In conclusion, this study demonstrates that modern mobile security is effectively achieved not merely through software-level constraints, but through an integrated architecture based on hardware-backed and yerel-layer isolation. Based on the findings, technical mitigation strategies and recommendations are provided for mobile developers and security researchers.
Benzer Tezler
- Makine öğrenimi tabanlı android kod karıştırıcı tespiti
Machine learning based androi̇d code obfuscati̇on detecti̇on
SADIK SARIBIYIK
Yüksek Lisans
Türkçe
2022
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolBursa Uludağ ÜniversitesiSiber Güvenlik Ana Bilim Dalı
DR. ÖĞR. ÜYESİ CENGİZ TOĞAY
- Detecting android obfuscation methods with LSTM
LSTM ile androıd gizleme yöntemlerinin tespiti
BULUT ULUKAPİ
Yüksek Lisans
İngilizce
2022
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolOrta Doğu Teknik ÜniversitesiSiber Güvenlik Ana Bilim Dalı
DOÇ. DR. CİHANGİR TEZCAN
DR. PINAR GÜRKAN BALIKÇIŎGLU
- Mobil kimlik doğrulama uygulamalarının güvenlik incelemesi
Security analysis of mobile authenticator applications
CAN ÖZKAN
Yüksek Lisans
Türkçe
2021
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolTobb Ekonomi ve Teknoloji ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
PROF. DR. ALİ AYDIN SELÇUK
- Tersine mühendislik yöntemleri ile elde edilen beton numunenin sonlu elemanlar yöntemi kullanılarak modellenmesi ve model geometrilerinin incelenmesi
Modeling of concrete specimen obtained by reverse engineering methods using finite elements method and examination of model geometries
SERGEN AKSAY
Yüksek Lisans
Türkçe
2017
İnşaat MühendisliğiCelal Bayar Üniversitesiİnşaat Mühendisliği Ana Bilim Dalı
YRD. DOÇ. ABDULKERİM ERGÜT
- Mikro yapıların tersine mühendislik yöntemleri ile sonlu elemanlar yöntemi kullanılarak modellenmesi ve model geometrilerinin incelenmesi
Investigation of reverse engineering structures using finite element methods with micro modeling and analysis of model geometries
OSMAN BERAT GÜNER
Yüksek Lisans
Türkçe
2014
İnşaat MühendisliğiCelal Bayar Üniversitesiİnşaat Mühendisliği Ana Bilim Dalı
DOÇ. DR. GÖKHAN ALTINTAŞ