Verifying the anonymity and coercion-resistance of e-voting protocols in epistemic logic
収録刊行物
-
- Master's thesis, University of Tokyo
-
Master's thesis, University of Tokyo 2007