Verifying a mix net in csp
E Stathakidis, D Williams, J Heather - Electronic Communications of the …, 2014 - eceasst.org
… a Mix Net using the process algebra CSP and its associated model checker FDR. The
protocol that we verify … Here we verify that the Mix Net is guaranteed to terminate, outputting a …
protocol that we verify … Here we verify that the Mix Net is guaranteed to terminate, outputting a …
Constructing and verifying a robust Mix Net using CSP
E Stathakidis, DM Williams, J Heather - Software & Systems Modeling, 2016 - Springer
… a Mix Net using the process algebra CSP and its associated model checker FDR. The protocol
that we verify … Bulletin Board, the protocol allows the mix servers to communicate directly, …
that we verify … Bulletin Board, the protocol allows the mix servers to communicate directly, …
Robustness modelling and verification of a mix net protocol
E Stathakidis, S Schneider, J Heather - Security Standardisation Research …, 2014 - Springer
… In this paper we model and analyse the algorithm used by Ximix, a particular Mix Net
implementation, using the CSP process algebra and the FDR model checker. We model and …
implementation, using the CSP process algebra and the FDR model checker. We model and …
[BOOK][B] Formal modelling and analysis of mix net implementations
E Stathakidis - 2015 - search.proquest.com
… This thesis identifies the problems existing in Mix Net … the rigour with which Mix Net protocols
are verified against their … Processes (CSP) process algebra and its verification tools being …
are verified against their … Processes (CSP) process algebra and its verification tools being …
Verifying anonymity in voting systems using CSP
M Moran, J Heather, S Schneider - Formal Aspects of Computing, 2014 - Springer
… In this section, we model the Prêt `a Voter voting system in CSP and verify that our model …
In our modelling and analysis in CSP, we focus on the re-encryption mixes version of Prêt `a …
In our modelling and analysis in CSP, we focus on the re-encryption mixes version of Prêt `a …
Mix networks: existing scenarios and future directions on security and privacy
… Stathakidis et al. in 2015 formally analyzed the MixNet using algebra CSP and associated
model checker. They also verified the protocol that removes the reliance via Web Bulletin …
model checker. They also verified the protocol that removes the reliance via Web Bulletin …
Solving mixed and conditional constraint satisfaction problems
E Gelle, B Faltings - Constraints, 2003 - Springer
… conditions have to be verified, thus combining them by an … on search methods for mixed
CSPs that are underconstrained … A generic way to solve a mixed CSP is to exploit similarities …
CSPs that are underconstrained … A generic way to solve a mixed CSP is to exploit similarities …
Shaken, not Stirred-Automated Discovery of Subtle Attacks on Protocols using Mix-Nets
J Dreier, P Lafourcade, D Mahmoud - Usenix Security Symposium, 2024 - uca.hal.science
… col verification tools it is now possible to model Mix-Nets more … attacks, or to prove verify
properties of protocols against a more … the Mix-Net and its components using the CSP process …
properties of protocols against a more … the Mix-Net and its components using the CSP process …
[BOOK][B] Towards a Formal Analysis of a Mix Network
B Wolff - 2002 - academia.edu
… network composed of senders, receivers and Mix stations. The network and its components
are formalized as CSP … This indeterminism makes it difficult to verify that Pool Mixes operate …
are formalized as CSP … This indeterminism makes it difficult to verify that Pool Mixes operate …
Using timed CSP for specification verification and simulation of multimedia synchronization
AF Ates, M Bilgic, S Saito… - IEEE journal on selected …, 1996 - ieeexplore.ieee.org
… Timed CSP was chosen as the formal specification language due to: * Timed CSP has a …
useful in hierarchical system design, * Verification of timing requirements on the timed speci…
useful in hierarchical system design, * Verification of timing requirements on the timed speci…
Related searches
- mix nets security analysis
- verifiable mix nets
- mix nets randomized partial checking
- e-voting scheme mix net
- mix nets subtle attacks
- witness indistinguishability mix net
- mix networks existing scenarios
- mix networks flow correlation attacks
- mix networks traffic analysis
- timed csp specification verification
- mix nets automated discovery
- mix nets formal analysis
- mix networks security and privacy