Electronic Voting: Verification and Composition of Security Protocols Ștefan Ciobâcă

ISBN: 9786067141467

Published: October 2015

Paperback

308 pages


Description

Electronic Voting: Verification and Composition of Security Protocols  by  Ștefan Ciobâcă

Electronic Voting: Verification and Composition of Security Protocols by Ștefan Ciobâcă
October 2015 | Paperback | PDF, EPUB, FB2, DjVu, audiobook, mp3, ZIP | 308 pages | ISBN: 9786067141467 | 5.44 Mb

Contents: Introduction- Preliminaries- The Strong Finite Variant Property- A Decision Procedure for Static Equivalence- Automated Verification of Trace Equivalence- Composability



Enter the sum





Related Archive Books



Related Books


Comments

Comments for "Electronic Voting: Verification and Composition of Security Protocols":


marinacepedafuentes.com

©2008-2015 | DMCA | Contact us