Reference : Expressing Receipt-Freeness and Coercion-Resistance in Logics of Strategic Ability: P...
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
Security, Reliability and Trust
http://hdl.handle.net/10993/29250
Expressing Receipt-Freeness and Coercion-Resistance in Logics of Strategic Ability: Preliminary Attempt
English
Tabatabaei, Masoud mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Jamroga, Wojciech mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Ryan, Peter mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
2016
The International Workshop on AI for Privacy and Security (PrAISe), 2016.
Yes
International
The International Workshop on AI for Privacy and Security
29-08-2016 to 2-09-2016
[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.
Researchers ; Professionals ; Students
http://hdl.handle.net/10993/29250

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
coercionInATL.pdfAuthor postprint336.6 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.