نتایج جستجو برای: verifiability

تعداد نتایج: 874  

1998
Karine Nyborg

If pollution is observable, but some emissions cannot be verified by court, voluntary agreements between a regulator and an industry can be welfareimproving compared to second-best emission taxes. Such agreements differ from direct regulation in a non-trivial way. The first-best optimum may be included in the set of possible agreements, even if it is not attainable using tax instruments. The no...

2010
David Bismark

Transparent and verifiable elections can be achieved by end-to-end verifiable electronic voting systems. The purpose of such systems is to enable voters to verify the inclusion of their vote in the final tally while keeping the votes secret. Achieving verifiability and secrecy at the same time is hard and this thesis explores the properties of verifiable electronic voting systems and describes ...

2004
Javier Vázquez-Salceda Huib Aldewereld Frank Dignum

Norms are commonly used in MAS to formally express the expected behaviour of agents in open environments. Current norm formalisms focus on the declarative nature of norms. However, in order to be implemented, norms should be translated into operational representations. In this paper we continue our work on the implementation of norms by discussing issues on norm enforcement, verifiability and d...

Journal: :IACR Cryptology ePrint Archive 2015
Ben Smyth Steven Frink Michael R. Clarkson

Definitions of election verifiability in the computational model of cryptography are proposed. The definitions formalize notions of voters verifying their own votes, auditors verifying the tally of votes, and auditors verifying that only eligible voters vote. The Helios (Adida et al., 2009) and JCJ (Juels et al., 2010) election schemes are shown to satisfy these definitions. Two previous defini...

Journal: :Cryptologia 2010
Abhishek Parakh Subhash C. Kak

This paper presents an improved protocol for Internet voting that allows recasting of ballots to eliminate voting errors, encourages early voting and provides an opportunity for changing votes as the election campaign progresses. The protocol is able to meet the competing requirements of verifiability and privacy by using a distributed security architecture, involving multiple servers, and mult...

2014
William G. Lycan

Human beings, and perhaps other creatures, have minds as well as bodies. But what is a mind, and what is its relation to body, or to the physical in general? 1. Mind‐Body Dualism The first answer to the mind‐body question proposed since medieval times was that of Descartes, who held that minds are wholly distinct from bodies and from physical objects of any sort. According to Cartesian dualism,...

2011
Giorgio Maria Di Nunzio Johannes Leveling Thomas Mandl

The current lack of recent and long-term query logs makes the verifiability and repeatability of log analysis experiments very limited. A first attempt in this direction has been made within the CrossLanguage Evaluation Forum in 2009 in a track named LogCLEF which aims to stimulate research on user behaviour in multilingual environments and promote standard evaluation collections of log data. W...

2007
Gregory S. Warrington

In theory, an election is a simple process: People express their preferences. The winner is the candidate preferred by the majority. In practice, an election is a amalgam of many choices and procedures, each of which can affect the outcome. These aspects run from the gamut from “Who is eligible to vote?” to “How does a voter physically express her preferences?” to “What mechanisms protect again...

2016
Oluwaseun Otekunrin Patience Emehinola

In this paper, we constructed (2, 7)-anonymous threshold scheme from the (49, 56, 8, 7, 1) Resolvable Balanced Incomplete Block Design (RBIBD) using MATLAB codes. The (2, 7)-anonymous threshold scheme was then applied to Result Processing Scheme in the Department of Statistics, University of Ibadan. The scheme developed satisfied the security requirements of authenticity, integrity and verifiab...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید