Automated privacy verification of voting systems
Başlık çevirisi mevcut değil.
- Tez No: 401158
- Danışmanlar: DR. JAMES HEATHER, DR. STEVE SCHNEIDER
- 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: 2013
- Dil: İngilizce
- Üniversite: Unıversıty Of Surrey
- Enstitü: Yurtdışı Enstitü
- Ana Bilim Dalı: Belirtilmemiş.
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: Belirtilmemiş.
Özet
Özet yok.
Özet (Çeviri)
Voting systems aim to provide trustworthiness in elections; however, they have always been a target of malicious behaviours due to difficulties in designing such complex systems and the enormous value of controlling the election results, causing unfair election outcome, loss of personal privacy and trust in democracy. This thesis aims to shed light on how voting systems, in particular, paper-based ones can be evaluated so as to provide a better level of confidence in their trustworthiness. This thesis advances the evaluation of the paper-based voting systems using formal methods with automated analysis. In analysis of security protocols, the formal definitions of protocol requirements need to be constructed precisely. To this end, a formal framework regarding the anonymity requirement has been given and demonstrated to be appropriate for the analysis of voting systems. Similarly, it has been demonstrated that the assumptions under which voting systems are secure should be well-defined for a rigorous security analysis with the automated analysis of the ThreeBallot voting system. Moreover, a novel approach has been proposed to analyse cryptographic voting systems under a passive attacker model using the Prˆet `a Voter voting system as case study. Finally, an active powerful attacker has been adapted into the analysis of voting systems, and an automated formal analysis of vVote voting system has been conducted, which is under development for use in Victorian Electoral Commission (VEC) elections, Australia in 2014. With the analyses of voting systems performed in this thesis, the formal approach developed here has been demonstrated to be successful in the automated analysis of such complex systems using the process algebra, Communicating Sequential Processes (CSP), and the model checker, Failures-Divergence Refinement (FDR).
Benzer Tezler
- The use of artificial intelligence in public broadcasting: A field study on TRT World and TRT Arabic
Kamu yayıncılığında yapay zeka kullanımı: TRT World ve TRT Arapça üzerine bir alan araştırması
BADER ALAKKLOUK
Doktora
İngilizce
2025
Radyo-TelevizyonSelçuk ÜniversitesiRadyo Televizyon ve Sinema Ana Bilim Dalı
PROF. DR. BİROL GÜLNAR
- RSA algoritmasını kullanan şifreleme/deşifreleme yazılımının tasarımı
Data encyption/decryption methods and software design of RSA algorithm
METİN ERHAN
Yüksek Lisans
Türkçe
1993
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik ÜniversitesiDOÇ.DR. BÜLENT ÖRENCİK
- A mobile application for attendance tracking based on user authentication
Kullanıcı kimlik doğrulamaya dayalı katılım takibi için mobil uygulama
BAWAR ALI ABDALKARIM ABDALKARIM
Yüksek Lisans
İngilizce
2023
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolSakarya ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
PROF. DR. DEVRİM AKGÜN
- MQTT protocol data security with OTP blockchain-based identity and data verification
MQTT protokolü veri güvenliğinin OTP blokzincir tabanlı kimlik ve veri doğrulama ile sağlanması
BATUHAN PARLAKAY
Yüksek Lisans
İngilizce
2023
Mekatronik MühendisliğiMef ÜniversitesiMekatronik Mühendisliği Ana Bilim Dalı
DR. ÖĞR. ÜYESİ TUBA AYHAN
- Blokzincir tabanlı akıllı sözleşme kullanarak güvenli veri saklama ve veri doğrulama
Secure data storage and data verification using blockchain based smart contract
SEFA TUNÇER
Doktora
Türkçe
2023
Mühendislik BilimleriBilecik Şeyh Edebali ÜniversitesiElektronik ve Bilgisayar Mühendisliği Ana Bilim Dalı
PROF. DR. CİHAN KARAKUZU