This paper presents a novel intruder model for automated reasoning about anonymity properties of voting systems. We adapt the lazy spy for this purpose, ...
May 2, 2017 · This article presents a novel intruder model for automated reasoning about anonymity (vote-privacy) and secrecy properties of voting systems. We ...
Oct 19, 2016 · PDF | This paper presents a novel intruder model for automated reasoning about anonymity properties of voting systems.
The lazy spy is adapted for automated reasoning about anonymity (vote-privacy) and secrecy properties of voting systems, as it avoids the eagerness of ...
Return to Article Details Automated Analysis of Voting Systems with Dolev-Yao Intruder Model Download Download PDF. Thumbnails Document Outline Attachments
Murat Moran, James Heather: Automated Analysis of Voting Systems with Dolev-Yao Intruder Model. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013).
Giresun University - Cité(e) 56 fois - Formal Methods - Verification - Model Checking - E-voting - Security Protocols
Giresun University - Cited by 57 - Formal Methods - Verification - Model Checking - E-voting - Security Protocols
Giresun University - 57 цитирований - Formal Methods - Verification - Model Checking - E-voting - Security Protocols
공동 저자 ; Automated analysis of voting systems with dolev-yao intruder model. M Moran, J Heather. Electronic Communications of the EASST 66, 2014. 4, 2014.