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

Benzer Tezler

1. Tez No

   546360

   Onay kodlu güvenli M-kupon algoritmasının geliştirilmesi ve biçimsel analizi

   Development of a secure M-coupon scheme with confirmation code and formally analization of the scheme

   KERİM YILDIRIM

   Doktora

   

   Türkçe

   2019

   Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolKocaeli Üniversitesi

   Bilgisayar Mühendisliği Ana Bilim Dalı

   PROF. DR. NEVCİHAN DURU

2. Tez No

   558562

   Practical and fully secure multi keyword ranked search over encrypted data with lightweight client

   Şifrelenmiş veri üzerinde tümüyle güvenli, uygulanabilir, derecelendirilmiş ve çoklu anahtar kelime destekleyen arama methodu

   TOLUN TOSUN

   Yüksek Lisans

   

   İngilizce

   2019

   Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolSabancı Üniversitesi

   Bilgisayar Bilimleri ve Mühendisliği Ana Bilim Dalı

   PROF. DR. ERKAY SAVAŞ

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

   401158

   Automated privacy verification of voting systems

   Başlık çevirisi yok

   MURAT MORAN

   Doktora

   

   İngilizce

   2013

   Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolUniversity of Surrey

   DR. JAMES HEATHER

   DR. STEVE SCHNEIDER

5. Tez No

   678599

   Increasing security in communication between IoT devices

   Nesnelerin interneti cihazları arasındaki iletişim güvenliğinin arttırılması

   SEYHUN YAŞAR ÖZKAL

   Yüksek Lisans

   

   Türkçe

   2021

   Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolDokuz Eylül Üniversitesi

   Bilgisayar Mühendisliği Ana Bilim Dalı

   DOÇ. DR. MEHMET HİLAL ÖZCANHAN