"Secure I-Voting System with Modified Voting and Verification Protocol"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Election Manipulation: Is America's Voting System Secure?	John Allen	2020	Referencepoint Pr Inc
Secure Electronic Voting	Dimitris A. Gritzalis	2003	Springer US
Communication Protocol Specification and Verification	Richard Lai; Ajin Jirachiefpattana	1998	Springer US
Protocol Specification, Testing and Verification XIV	S.T. Vuong; Samuel T. Chanson	1995	Springer US
Protocol Specification, Testing and Verification XV	Piotr Dembinski; Marek Sredniawa	1st ed. 1996	Springer US
Protocol Specification, Testing and Verification, XII	R.J. Linn and M.Ü. Uyar	1992	Elsevier
Modelling and Verification of Secure Exams	Rosario Giustolisi	1st ed. 2018	Springer International Publishing
Secure Transaction Protocol Analysis: Models and Applications	Qingfeng Chen; Chengqi Zhang; Shichao Zhang	2008	Springer Berlin Heidelberg
System Verification	Jeffrey O. Grady	2007	Academic Press
Protocol Specification,Testing,and Verification,VII: Proceedings of the Ifip Wg 6. 1 Seventh International Conference on Protocol Specification,T (I. . . Specification,Testing,and Verification)	Harry Rudin	September 1987	Elsevier Science Ltd
System validation and verification /	Grady, Jeffrey O.	[1998], ©1998.	CRC Press,
Reconfigurable System Design and Verification	Pao-Ann Hsiung; Marco D. Santambrogio; Chun-Hsian Huang	2009	Routledge
A secure voice system with bandwidth reduction	Fidel L. Baca	1976
Comfort care/do not resuscitate order verification protocol	Massachusetts. Office of Emergency Medical Services	1997	Massachusetts Dept. of Public Health, Office of Emergency Medical Services
System Verification (Second Edition)	Jeffrey O. Grady	2016	Academic Press
FNMOC model verification system	Kyongsuk P. Pace	1998	Naval Postgraduate School;Available from National Technical Information Service
Secure System Design and Trustable Computing	Chip-Hong Chang; Miodrag Potkonjak	1st ed. 2016	Springer International Publishing
Host Identity Protocol (HIP): Towards the Secure Mobile Internet	Andrei Gurtov	2008	Wiley Telecom
Hardware Verification with System Verilog: An Object-Oriented Framework	Mike Mintz; Robert Ekendahl	2007	Springer US
Embedded System Design: Modeling, Synthesis and Verification	Daniel D. Gajski; Samar Abdi; Andreas Gerstlauer; Gunar Schirner	2009	Springer US
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Secure I-Voting System with Modified Voting and Verification Protocol	S. Ajish; K. S. Anil Kumar	Advances in Electrical and Computer Technologies: Select Proceedings of ICAECT 2019	Thangaprakash Sengodan; M. Murugappan; Sanjay Misra	1st ed. 2020	Springer Nature Singapore
Voting Protocol		Research in Economic History	Susan Wolcott (editor)	2019	Emerald Publishing Limited
Internet Voting System with Cast as Intended Verification	Jordi Puiggalí Allepuz; Sandra Guasch Castelló	E-Voting and Identity: Third International Conference, VoteID 2011, Tallinn, Estonia, September 28-20, 2011, Revised Selected Papers	Aggelos Kiayias; Helger Lipmaa	2012	Springer Berlin Heidelberg
Protocol Verification	Richard Lai; Ajin Jirachiefpattana	Communication Protocol Specification and Verification	Richard Lai; Ajin Jirachiefpattana	1998	Springer US
An Improved Secure Authentication Protocol for WiMAX with Formal Verification	Anjani Kumar Rai; Shivendu Mishra; Pramod Narayan Tripathi	Advances in Computing and Communications, Part II: First International Conference, ACC 2011, Kochi, India, July 22-24, 2011. Proceedings, Part II	Ajith Abraham; Jaime Lloret Mauri; John Buford; Junichi Suzuki; Sabu M. Thampi	2011	Springer Berlin Heidelberg
Secure Internet Voting Protocol for Overseas Military Voters	Todd R. Andel; Alec Yasinsac	Security Protocols XX: 20th International Workshop, Cambridge, UK, April 12-13, 2012, Revised Selected Papers	Bruce Christianson; James Malcolm; Frank Stajano; Jonathan Anderson	2012	Springer Berlin Heidelberg
TCSAP: A New Secure and Robust Modified MANETconf Protocol	Abdelhafid Abdelmalek; Zohra Slimane; Mohamed Feham; Abdelmalik Taleb-Ahmed	Recent Trends in Wireless and Mobile Networks: Third International Conferences, WiMo 2011 and CoNeCo 2011, Ankara, Turkey, June 26-28, 2011. Proceedings	Abdulkadir Özcan; Jan Zizka; Dhinaharan Nagamalai	2011	Springer Berlin Heidelberg
Formal Verification of a Secure Mobile Banking Protocol	Huy Hoang Ngo; Osama Dandash; Phu Dung Le; Bala Srinivasan; Campbell Wilson	Advances in Networks and Communications: First International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011. Proceedings, Part II	Natarajan Meghanathan; B.K. Kaushik; Dhinaharan Nagamalai	2011	Springer Berlin Heidelberg
Secure Internet Voting with Code Sheets	Jörg Helbach; Jörg Schwenk	E-Voting and Identity: First International Conference, VOTE-ID 2007, Bochum, Germany, October 4-5, 2007, Revised Selected Papers	Ammar Alkassar; Melanie Volkamer	2007	Springer Berlin Heidelberg
Secure E-voting with blind signature	Subariah Ibrahim, Maznah Kamat, Mazleena Salleh, Shah Rizan and Abdul Aziz	4th National Conference on Telecommunication Technology: NCTT2003: proceedings: January 14-15, 2003, Concorde Hotel, Shah Alam, Malaysia /	National Conference on Telecommunication Technology (4th 2003 Shah Alam, Selangor, Malaysia)	[2003], ©2003.	Institute of Electrical & Electronics Engineers,
Secure Online Voting System Using Biometric and Blockchain	Dipti Pawade; Avani Sakhapara; Aishwarya Badgujar; Divya Adepu; Melvita Andrade	Data Management, Analytics and Innovation: Proceedings of ICDMAI 2019, Volume 1	Neha Sharma; Amlan Chakrabarti; Valentina Emilia Balas	1st ed. 2020	Springer Nature Singapore
124 Voting Protocol		Quantum Blockchain: An Emerging Cryptographic Paradigm	Vani Rajasekar (editor), Rajesh Kumar Dhanaraj (editor), SK Hafizul Islam (editor), Balamurugan Balusamy (editor), Ching-Hsien Hsu (editor)	2022	Wiley-Scrivener
A Secure Handover Protocol Design in Wireless Networks with Formal Verification	Sun-Hee Lim; Ki-Seok Bang; Okyeon Yi; Jongin Lim	Wired/Wireless Internet Communications: 5th International Conference, WWIC 2007, Coimbra, Portugal, May 23-25, 2007, Proceedings	Fernando Boavida; Edmundo Monteiro; Saverio Mascolo; Yevgeni Koucheryavy	2007	Springer Berlin Heidelberg
Secure Location Verification	Georg T. Becker; Sherman C. Lo; David S. De Lorenzo; Per K. Enge; Christof Paar	Data and Applications Security and Privacy XXIV: 24th Annual IFIP WG 11. 3 Working Conference, Rome, Italy, June 21-23, 2010, Proceedings	Sara Foresti; Sushil Jajodia	2010	Springer Berlin Heidelberg
Dione: A Protocol Verification System Built with Dafny for I/O Automata	Chiao Hsieh; Sayan Mitra	Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings	Wolfgang Ahrendt; Silvia Lizeth Tapia Tarifa	1st ed. 2019	Springer International Publishing
SEAS: A Secure E-Voting Applet System	Fabrizio Baiardi; Alessandro Falleni; Riccardo Granchi; Fabio Martinelli; Marinella Petrocchi; Anna Vaccarelli	Software Security - Theories and Systems: Second Mext-WSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003	Kokichi Futatsugi; Fumio Mizoguchi; Naoki Yonezaki	2004	Springer Berlin Heidelberg
A Secure Online Voting System Using Blockchain	Mehak Wadhwani; Nisha Mansoori; Shivangi Tanwar; Aanchal Handa; Bhavesh N. Gohil	Blockchain for Information Security and Privacy	Udai Pratap Rao; Piyush Kumar Shukla; Chandan Trivedi; Sweta Gupta; Zelalem Sintayehu Shibeshi	2021	Routledge
Platform-Independent Secure Blockchain-Based Voting System	Bin Yu; Joseph K. Liu; Amin Sakzad; Surya Nepal; Ron Steinfeld; Paul Rimba et al.	Information Security: 21st International Conference, ISC 2018, Guildford, UK, September 9–12, 2018, Proceedings	Liqun Chen; Mark Manulis; Steve Schneider	1st ed. 2018	Springer International Publishing
Developing a Secure Integrated E-Voting System		Handbook of Research on E-Services in the Public Sector: E-Government Strategies and Advancements	Abid Thyab Al Ajeeli	2010	IGI Global
Secure Matchmaking Protocol	Byoungcheon Lee; Kwangjo Kim	Information Security and Cryptology - ICISC 2000: Third International Conference, Seoul, Korea, December 8-9, 2000, Proceedings	Dongho Won	2001	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Secure I-Voting System with Modified Voting and Verification Protocol" - similar Books and Chapters