A Framework for Protecting Voters’ Privacy In Electronic Voting Procedures

2013 ◽  
Vol 15 (2) ◽  
pp. 1-33 ◽  
Author(s):  
C. Manolopoulos ◽  
D. Sofotassios ◽  
P. Spirakis ◽  
Y.C. Stamatiou

eVoting is considered to be one of the most challenging domains of modern eGovernment and one of the main vehicles for increasing eParticipation among citizens. One of the main obstacles for its wide adoptionis the reluctance of citizens to participate in electronic voting procedures. This reluctance can be partially attributed to the low penetration of technology among citizens. However, the main reason behind this reluctance is the lack of trust which stems from the belief of citizens that systems implementing an eVoting process will violate their privacy. The departure point of this approach is that the emergence of such a belief can be considerably facilitated by designing and building systems in a way that evidence about the system’s properties is produced during the design process. In this way, the designers can demonstrate the respect in privacy using this evidence that can be understood and checked by the specialist and the informed layman. These tools and models should provide sufficient evidence that the target system handles privacy concerns and requirements that can remove enough of the fears towards eVoting. This paper presents the efforts of the authors‘ organization, the Computer Technology Institute and Press “Diophantus” (CTI), towards the design and implementation of an eVoting system, called PNYKA, with demonstrable security properties. This system was based on a trust-centered engineering approach for building general security critical systems. The authors‘ approach is pragmatic rather than theoretical in that it sidesteps the controversy that besets the nature of trust in information systems and starts with a working definition of trust as people’s positive attitude towards a system that transparently and demonstrably performs its operations, respecting their privacy. The authors also discuss the social side of eVoting, i.e. how one can help boost its acceptance by large social groups targeting the whole population of the country. The authors view eVoting as an innovation that must be diffused to a population and then employ a theoretical model that studies diffusion of innovation in social network, delineating structural properties of the network that help diffuse the innovation fast. Furthermore, the authors explain how CTI’s current situation empowers CTI to realize its vision to implement a privacy preserving, discussion and public consultation forum in Greece. This forum will link, together, all Greek educational institutes in order to provide a privacy preserving discussion and opinion gathering tool useful in decision making within the Greek educational system.

Author(s):  
E. V. Elnikova

The article deals with issues related to the exercise of the right to participate in the General meeting of participants (shareholders) of economic companies through the use of digital technologies. The Russian corporate legislation provides for the possibility of voting at the General meeting using electronic means. The conclusion is made that it is necessary to expand the dispositive regulation, which provides corporations with more opportunities to determine the directions necessary for them to implement new technologies. The advantages of using electronic voting forms in joint-stock companies with a large number of shareholders are considered. The risks associated with the use of digital technologies when voting at the General meeting are highlighted. Attention is drawn to the need to develop ways to ensure the evidence base for the Commission member of the Corporation’s actions by voting in electronic form. It was suggested that the introduction of digital technologies in the voting procedures at the General meeting of participants (shareholders) leads to a gradual leveling of the differences between decision-making in face-to-face and absentee voting.


2004 ◽  
Vol 15 ◽  
pp. 165-180 ◽  
Author(s):  
Justin Zhan ◽  
Li-Wu Chang ◽  
Stan Matwin

Author(s):  
P. Delwit

The question of electoral participation has today become a major issue for the future of democratic systems. In the USA and Europe, voter turnout continues to fall. Faced with this strong erosion of political participation, the watchword is mobilization. In this connection, several proposals, chiefly technical in nature, have been put forward to curb this rising voter absenteeism. For example, several projects have been developed with a view to putting in place new voting procedures, including among others, telephone voting, postal voting, computer voting, Internet voting, using pre-perforated cards, mobile phones or digital terminals installed in public places (shopping centres, public buildings, etc.).


Author(s):  
Lei PANG ◽  
Mao-hua SUN ◽  
Shou-shan LUO ◽  
Bai WANG ◽  
Yang XIN

2019 ◽  
Vol 273 ◽  
pp. 01010
Author(s):  
Odd Ivar Haugen

Safety verification is about creating trust and building confidence that a system is safe and conforms to the specified requirements. The term confidence means the assurance level which is built by generating objective evidence through activities such as testing. In the maritime industry, classification societies (a.k.a. class) are instrumental in the assurance process of maritime safety-critical systems. These systems become more and more software-intensive, enabling a high degree of complexity and even autonomy. Automatization in the verification effort emerges as system complexity increases and cost-pressure rises. An automatic condition-based survey scheme, utilizing data from sensors and algorithms is seen as more efficient and effective than the traditional calendar-based survey scheme performed by trained class surveyors (people) today. In the assurance of self-learning adaptive systems such as autonomous navigation systems, possibly based upon Machine Learning (ML), online safety monitors may become instrumental in creating relevant safety evidence. These monitors may also be based on ML and may be adaptive, resulting in one adaptive ML-algorithm verifying another adaptive ML-based target system. Class surveyors are test engineers who are verification agents and generate evidence about the system safety level. The verification algorithms, such as a Condition Monitoring system should also be categorized as a verification agent; an Algorithm-based Verification Agent (AVA). Moreover, class surveyors represent an independent Verification Organization. Independence in the verification effort increases the assurance level because the level of evidence objectiveness increases. If the AVA is developed by the target system developer, it decreases the evidence objectiveness and affects the agency of humans in the verification. This paper argues that AVAs must be assured at a level reflecting their agency within the verification effort, and the target system criticality. The same cognitive and societal biases infecting the target system may also affect the AVA if it is developed by the same organization as the developer, possibly masking critical defects, and making the generated evidence less trustworthy.


Sign in / Sign up

Export Citation Format

Share Document