“Trust engineering: ” from requirements to system design and maintenance – a working national lottery system experience

Authors:
Elisavet Konstantinou;Vasiliki Liagkou;Paul Spirakis;Yannis C. Stamatiou;Moti Yung
Affiliations:
Computer Technology Institute, Patras, Greece;Computer Technology Institute, Patras, Greece;Computer Technology Institute, Patras, Greece;Computer Technology Institute, Patras, Greece;Computer Science, Columbia University, New York, NY
Venue:
ISC'05 Proceedings of the 8th international conference on Information Security
Year:
2005

Citing 14
Cited 1

A simple unpredictable pseudo random number generator

SIAM Journal on Computing
RSA and Rabin functions: certain parts are as hard as the whole

SIAM Journal on Computing - Special issue on cryptography
A computer package for measuring the strength of encryption algorithms

Computers and Security
Fair e-Lotteries and e-Casinos

CT-RSA 2001 Proceedings of the 2001 Conference on Topics in Cryptology: The Cryptographer's Track at RSA
Playing Lottery on the Internet

ICICS '01 Proceedings of the Third International Conference on Information and Communications Security
An Efficient Discrete Log Pseudo Random Generator

CRYPTO '98 Proceedings of the 18th Annual International Cryptology Conference on Advances in Cryptology
Publicly Verifiable Lotteries: Applications of Delaying Functions

FC '98 Proceedings of the Second International Conference on Financial Cryptography
Sharing Decryption in the Context of Voting or Lotteries

FC '00 Proceedings of the 4th International Conference on Financial Cryptography
Implementation of a Digital Lottery Server on WWW

Proceedings of the International Exhibition and Congress on Secure Networking - CQRE (Secure) '99
Weakly Secret Bit Commitment: Applications to Lotteries and Fair Exchange

CSFW '98 Proceedings of the 11th IEEE workshop on Computer Security Foundations
Number-theoretic constructions of efficient pseudo-random functions

FOCS '97 Proceedings of the 38th Annual Symposium on Foundations of Computer Science
Verifiable Random Functions

FOCS '99 Proceedings of the 40th Annual Symposium on Foundations of Computer Science
Remote electronic gambling

ACSAC '97 Proceedings of the 13th Annual Computer Security Applications Conference
Introduction

Communications of the ACM - Voting systems

A trust-centered approach for building e-voting systems

EGOV'07 Proceedings of the 6th international conference on Electronic Government

Quantified Score

Hi-index	0.00

Visualization

Abstract

Based on our experience in designing, building and maintaining an information system for supporting a large scale electronic lottery, we present in this paper a unified approach to the design and implementation of electronic lotteries with the focus on pragmatic trust establishment. This approach follows closely the methodologies commonly employed in the development of general information systems. However, central to the proposed approach is the decomposition of a security critical system into layers containing basic trust components so as to facilitate the management of trust, first along the layers, and then as we move from layer to layer. We believe that such a structured approach, based on layers and trust components, can help designers of security critical applications produce demonstrably robust and verifiable systems that people will not hesitate to use.