دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب E-Voting and Identify: 4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013. Proceedings
دانلود کتاب رای گیری الکترونیکی و شناسایی: چهارمین کنفرانس بین المللی، Vote-ID 2013، گیلدفورد، بریتانیا، 17-19 ژوئیه، 2013. مجموعه مقالات
مشخصات کتاب
E-Voting and Identify: 4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013. Proceedings
ویرایش: نویسندگان: Aggelos Kiayias, Anthi Orfanou (auth.), James Heather, Steve Schneider, Vanessa Teague (eds.) سری: Lecture Notes in Computer Science 7985 : Security and Cryptology ISBN (شابک) : 9783642391842, 9783642391859 ناشر: Springer Berlin Heidelberg سال نشر: 2013 تعداد صفحات: 217 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 41,000
در صورت تبدیل فایل کتاب E-Voting and Identify: 4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب رای گیری الکترونیکی و شناسایی: چهارمین کنفرانس بین المللی، Vote-ID 2013، گیلدفورد، بریتانیا، 17-19 ژوئیه، 2013. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب رای گیری الکترونیکی و شناسایی: چهارمین کنفرانس بین المللی، Vote-ID 2013، گیلدفورد، بریتانیا، 17-19 ژوئیه، 2013. مجموعه مقالات
این کتاب مجموعه مقالات کنفرانسی با داوری کامل چهارمین کنفرانس بین المللی رای گیری الکترونیکی و هویت، VoteID 2013، که در گیلدفورد، انگلستان، طی 17 تا 19 ژوئیه 2013 برگزار شد، است. 12 مقاله کامل اصلاح شده ارائه شده با دقت از 26 مقاله ارسالی انتخاب شدند. این مقالات شامل مجموعه‌ای از کارها در مورد سیستم‌های انتخاباتی قابل راستی‌آزمایی سرتاسر، الگوریتم‌های جمع‌آوری پیچیده به‌طور قابل راستی‌آزمایی، ادراکات انسانی از قابلیت تأیید، مدل‌های رسمی تأییدپذیری و البته حملات به سیستم‌هایی است که قبلاً به‌عنوان قابل تأیید تبلیغ می‌شدند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed conference proceedings of the 4th International Conference on E-Voting and Identity, VoteID 2013, held in Guildford, UK, during July 17-19, 2013. The 12 revised full papers presented were carefully selected from 26 submissions. The papers include a range of works on end-to-end verifiable election systems, verifiably correct complex tallying algorithms, human perceptions of verifiability, formal models of verifiability and, of course, attacks on systems formerly advertised as verifiable
فهرست مطالب
Content:
Front Matter....Pages -
Scaling Privacy Guarantees in Code-Verification Elections....Pages 1-24
On the Specification and Verification of Voting Schemes....Pages 25-40
Formal Model-Based Validation for Tally Systems....Pages 41-60
Vote Casting in Any Preferred Constituency: A New Voting Channel....Pages 61-75
Attacking the Verification Code Mechanism in the Norwegian Internet Voting System....Pages 76-92
A Formal Model for the Requirement of Verifiability in Electronic Voting by Means of a Bulletin Board....Pages 93-108
Analysis of an Electronic Boardroom Voting System....Pages 109-126
Dispute Resolution in Accessible Voting Systems: The Design and Use of Audiotegrity....Pages 127-141
Mental Models of Verifiability in Voting....Pages 142-155
Prêt � Voter Providing Everlasting Privacy....Pages 156-175
Towards a Practical Cryptographic Voting Scheme Based on Malleable Proofs....Pages 176-192
A Practical Coercion Resistant Voting Scheme Revisited....Pages 193-209
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Business for Breakfast 4: The Intermediate Professional Storyteller
دانلود کتاب Digital Logic Pocket Databook
دانلود کتاب Putting Crime in its Place: Units of Analysis in Geographic Criminology
