Static validation of a voting protocol
From MaRDI portal
Publication:2848486
zbMATH Open1272.94086MaRDI QIDQ2848486
Esben Heltoft Andersen, Hanne Riis Nielson, Christoffer Rosenkilde Nielsen
Publication date: 26 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105050553
Specification and verification (program logics, model checking, etc.) (68Q60) Network protocols (68M12) Authentication, digital signatures and secret sharing (94A62)
This page was built for publication: Static validation of a voting protocol
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2848486)
