×
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.