Titlebook: E-Voting and Identity; 5th International Co Rolf Haenni,Reto E. Koenig,Douglas Wikström Conference proceedings 2015 Springer International

协议

Machine-Checked Reasoning About Complex Voting Schemes Using Higher-Order LogicL program .. We are currently verifying that the formalisation of the implementation implies the formalisation of the specification: that is, we are using the HOL4 interactive theorem prover to prove the implication . ...

incredulity

LATER

978-3-319-22269-1Springer International Publishing Switzerland 2015

Statins

Rolf Haenni,Reto E. Koenig,Douglas WikströmIncludes supplementary material:

senile-dementia

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/e/image/300189.jpg

AVANT

油膏

REP

热情的我

https://doi.org/10.1007/978-3-663-04826-8ociodemographic characteristics of voters and technical aspects of voting. Special attention is paid to voting and verification sessions that can be considered irregular (e.g. inability to cast a valid vote or failed verifications). We observe several interesting phenomena, e.g. that older people ar

fallible