Formal security analysis of a secure on-demandrouting protocol for ad hoc networks using model checking

Benzer Tezler

1. Tez No

   75555

   ATM şebekelerde trafik analizi ve güvenlik

   Başlık çevirisi yok

   HALİL AYDIN

   Yüksek Lisans

   

   Türkçe

   1998

   Elektrik ve Elektronik Mühendisliğiİstanbul Teknik Üniversitesi

   Elektronik ve Haberleşme Mühendisliği Ana Bilim Dalı

   PROF. DR. GÜNSEL DURUSOY

2. Tez No

   329403

   A practical and formal analysis of distributed private key generation for identity based cryptography

   Kimlik tabanlı kriptografik sistemler için dağıtık gizli anahtar üretiminin işlevsel ve biçimsel açıdan incelenmesi

   GÖRKEM KILINÇ

   Yüksek Lisans

   

   İngilizce

   2012

   Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolYaşar Üniversitesi

   Bilgisayar Mühendisliği Ana Bilim Dalı

   DOÇ. DR. AHMET HASAN KOLTUKSUZ

3. Tez No

   611952

   Security and privacy of RFID systems

   RFID sistemlerinin güvenlik ve mahremiyeti

   ATAKAN ARSLAN

   Doktora

   

   İngilizce

   2019

   Mühendislik BilimleriKocaeli Üniversitesi

   Elektronik ve Haberleşme Mühendisliği Ana Bilim Dalı

   PROF. DR. SARP ERTÜRK

4. Tez No

   1016234

   Gerçek zamanlı güvenli veri haberleşmesinde anahtar yönetimi

   Key management in real-time secure data communication

   ŞEVKİ GANİ ŞANLIÖZ

   Doktora

   

   Türkçe

   2026

   Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Üniversitesi-Cerrahpaşa

   Bilgisayar Mühendisliği Ana Bilim Dalı

   PROF. DR. MUHAMMED ALİ AYDIN

   DR. ÖĞR. ÜYESİ MUSTAFA KARA

5. Tez No

   433927

   Model driven security framework for software design and verification

   Yazılım tasarımı ve doğrulama sürecinde model güdümlü güvenlik çerçevesi

   ENGİN DEVECİ

   Doktora

   

   İngilizce

   2015

   Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolBoğaziçi Üniversitesi

   Bilgisayar Mühendisliği Ana Bilim Dalı

   PROF. DR. MEHMET UFUK ÇAĞLAYAN