Formal verification of tamper-evident storage for e-voting Conference Paper uri icon

publication date

  • September 1, 2007

published in

  •  

start page

  • 329

end page

  • 338