Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Expressing Receipt-Freeness and Coercion-Resistance in Logics of Strategic Ability: Preliminary Attempt
Tabatabaei, Masoud; Jamroga, Wojciech; Ryan, Peter
2016In The International Workshop on AI for Privacy and Security (PrAISe), 2016.
Peer reviewed
 

Files


Full Text
coercionInATL.pdf
Author postprint (344.68 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Abstract :
[en] Voting is a mechanism of utmost importance to social processes. In this paper, we focus on the strategic aspect of information security in voting procedures. We argue that the notions of receipt-freeness and coercion resistance are underpinned by existence (or nonexistence) of a suitable strategy for some participants of the voting process. In order to back the argument formally, we provide logical ``transcriptions'' of the informal intuitions behind coercion-related properties that can be found in the existing literature. The transcriptions are formulated in the modal game logic ATL*, well known in the area of multi-agent systems.
Disciplines :
Computer science
Author, co-author :
Tabatabaei, Masoud ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Jamroga, Wojciech ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Ryan, Peter ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
External co-authors :
yes
Language :
English
Title :
Expressing Receipt-Freeness and Coercion-Resistance in Logics of Strategic Ability: Preliminary Attempt
Publication date :
2016
Event name :
The International Workshop on AI for Privacy and Security
Event date :
29-08-2016 to 2-09-2016
Audience :
International
Main work title :
The International Workshop on AI for Privacy and Security (PrAISe), 2016.
Peer reviewed :
Peer reviewed
Focus Area :
Security, Reliability and Trust
Available on ORBilu :
since 04 January 2017

Statistics


Number of views
120 (9 by Unilu)
Number of downloads
99 (8 by Unilu)

Scopus citations®
 
6
Scopus citations®
without self-citations
1

Bibliography


Similar publications



Contact ORBilu