[PDF][PDF] Bisimulations for verifying strategic abilities with an application to threeballot
We propose a notion of alternating bisimulation for strategic abilities under imperfect
information. The bisimulation preserves formulas of ATL∗ for both the objective and …
information. The bisimulation preserves formulas of ATL∗ for both the objective and …
Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol
We propose a notion of alternating bisimulation for strategic abilities under imperfect
information. The bisimulation preserves formulas of ATL⁎ for both the objective and …
information. The bisimulation preserves formulas of ATL⁎ for both the objective and …
A cut principle for information flow
JD Guttman, PD Rowe - 2015 IEEE 28th Computer Security …, 2015 - ieeexplore.ieee.org
We view a distributed system as a graph of active locations with unidirectional channels
between them, through which they pass messages. In this context, the graph structure of a …
between them, through which they pass messages. In this context, the graph structure of a …
[PDF][PDF] Secure voter authentication for poll-site elections in developing countries
ON Akinyokun - 2020 - minerva-access.unimelb.edu.au
In the developing world, secure and privacy-preserving voter authentication remains one of
the main challenges of poll-site election administration. Aside the unavailability of a robust …
the main challenges of poll-site election administration. Aside the unavailability of a robust …
Automated analysis of voting systems under an active intruder model in CSP
This article presents a novel intruder model for automated reasoning about anonymity (vote-
privacy) and secrecy properties of voting systems. We adapt the lazy spy for this purpose, as …
privacy) and secrecy properties of voting systems. We adapt the lazy spy for this purpose, as …
Sähköisen äänestämisen tietoturva
T Jolkkonen - 2019 - oulurepo.oulu.fi
Sähköistä äänestämistä on kokeiltu parin vuosikymmenen ajan eri puolilla maailmaa
Suomesta Yhdysvaltoihin muutamassa kymmenessä maassa. Sähköisiä äänestyksiä on …
Suomesta Yhdysvaltoihin muutamassa kymmenessä maassa. Sähköisiä äänestyksiä on …
[PDF][PDF] Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot (Communication)
We propose a notion of alternating bisimulation for strategic abilities under imperfect
information. The bisimulation preserves formulas of ATL for both the objective and subjective …
information. The bisimulation preserves formulas of ATL for both the objective and subjective …