Efficient, compromise resilient and compact cryptographic constructions for digital forensics
Başlık çevirisi mevcut değil.
- Tez No: 400973
- Danışmanlar: DR. PENG NING
- 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: 2011
- Dil: İngilizce
- Üniversite: North Carolına State Unıversıty
- Enstitü: Yurtdışı Enstitü
- Ana Bilim Dalı: Belirtilmemiş.
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: Belirtilmemiş.
Özet
Özet yok.
Özet (Çeviri)
Audit logs are a fundamental digital forensic mechanism for providing security in computer systems; they are used to keep track of important events regarding the system activities. In current large distributed systems, protecting audit logs is a challenging task, especially in the presence of active attackers. It is critical for such a system to be compromise-resilient (i.e., having forward security and append-only integrity properties) such that when an attacker compromises a logging machine, she cannot forge or selectively delete the log entries accumulated before the compromise. Unfortunately, existing secure audit logging schemes have limitations that make them impractical for real-life applications: On the one hand, the symmetric schemes are not publicly verifiable, demand high storage, require online Trusted Third Party (TTP) support, and are also vulnerable to certain attacks. On the other hand,Public Key Cryptography (PKC)-based schemes require several Expensive Operations (ExpOps) (e.g., pairing), and thus are impractical for task-intensive and/or resource-constrained systems. In this dissertation, we address the above problems by developing a series of novel cryptographic constructions that achieve the most desirable properties of both symmetric and PKC-based schemes simultaneously. First, we propose a new class of signature schemes for Unattended Wireless Sensor Networks (UWSN) called Hash-Based Sequential Aggregate and Forward-Secure Signature (HaSAFSS). Using existing verification delays as an opportunity to introduce asymmetry, HaSAFSS schemes achieve high efficiency, while still preserving public verifiability, forward security and compactness. The HaSAFSS schemes are the only schemes in which both signers and verifiers get equal benefits of computational efficiency. Symmetric HaSAFSS (Sym-HaSAFSS) and Elliptic Curve Cryptography-based HaSAFSS (ECC-HaSAFSS) achieve the optimal (constant) signer and optimal verifier storage efficiency, respectively. Self-SUstaining HaSAFSS (SU-HaSAFSS) achieves an optimal storage at both the signer and the verifier sides by introducing a little more computation overhead. Second, we develop a novel forward-secure and aggregate signature scheme called Blind-Aggregate- Forward (BAF) to address the secure audit logging needs of resource-constrained devices. BAF can address both real-time and non-real-time applications by achieving the public verifiability without requiring any online TTP support or time factor. BAF is the only scheme that can produce a publicly verifiable signature with very low computational, storage, and communication costs for the loggers. Moreover, a variant of BAF (i.e., Fast-Immutable BAF) enables fine-grained log verification by preserving the optimal logger efficiency and security. Third, we propose a new signature scheme called Log Forward-secure and Append-only Signature (LogFAS) to address the secure logging needs of task-intensive applications with a large number of loggers. LogFAS is the only secure audit logging scheme that can verify L log entries with always a small and constant number of ExpOps regardless of the value of L. It is also the only alternative in which each verifier stores only a small and constant size public key independent from the number of loggers and the number of log entries to be verified. In addition, a variation of LogFAS can identify the corrupted log entries with a sub-linear number of ExpOps when most entries are intact. We prove that all of our schemes are secure under appropriate computational assumptions (in the random oracle model). We also show that they are significantly more efficient and practical than all the previous cryptographic secure audit logging schemes.
Benzer Tezler
- Türkiye'de uygulanacak eğitim yapılarının mimari tasarım ve dış cephe kaplama malzemesi özelliklerine göre çevresel etki yüklerinin değerlendirilmesi
Evaluation of environmental impact loads based on architectural design and exterior cladding material characteristics in educational buildings
DİLFURUZ KARA
Yüksek Lisans
Türkçe
2025
Mimarlıkİstanbul Teknik ÜniversitesiMimarlık Ana Bilim Dalı
DOÇ. DR. CANER GÖÇER
- Otonom araç sistemlerinde siber güvenlik analizi: Tehditler, riskler ve koruma yöntemleri
Cyber security analysis in autonomous vehicle systems: Threats, risks, and protection methods
MUHAMMED NAZAR ABDULGADER OSMAN
Yüksek Lisans
Türkçe
2026
Mekatronik Mühendisliğiİstanbul Gelişim ÜniversitesiMekatronik Mühendisliği Ana Bilim Dalı
DR. ÖĞR. ÜYESİ KENAN ŞENTÜRK
DR. ÖĞR. ÜYESİ SERKAN GÖNEN
- Afet sonrasında kullanılacak geçici barınma ünitelerinin yapısal kuruluş ve malzeme özelliklerine göre ısıl performansının değerlendirilmesi
Evaluation of the thermal performance of temporary shelter units used after disasters based on their structural configuration and material properties
BEGÜM SUDE KURT
Yüksek Lisans
Türkçe
2026
Mimarlıkİstanbul Teknik ÜniversitesiMimarlık Ana Bilim Dalı
DOÇ. DR. CANER GÖÇER
- A smart intrusion detection systemagainst cyber attacks in unmanned aerial vehicles
İnsansız hava araçlarında siber saldırılara karşıakıllı saldırı tespit sistemi
BURCU SÖNMEZ SARIKAYA
Doktora
İngilizce
2025
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
PROF. DR. ŞERİF BAHTİYAR
- Güç transformatörleri sfra tarama frekans cevabı analizi sonuçlarının yapay zeka uygulamaları ile karşılaştırılması
Comparison of power transformer sfra sweep frequency response analysis results with artificial intelligence applications
HAKAN ÇUHADAROĞLU
Doktora
Türkçe
2025
Elektrik ve Elektronik MühendisliğiSakarya ÜniversitesiElektrik-Elektronik Mühendisliği Ana Bilim Dalı
PROF. DR. YILMAZ UYAROĞLU