Sciweavers

162 search results - page 17 / 33
» The Design of a Trustworthy Voting System
Sort
View
SIGCOMM
2010
ACM
14 years 12 months ago
capDL: a language for describing capability-based systems
Capabilities provide an access control model that can be used to construct systems where safety of protection can be precisely determined. However, in order to be certain of the s...
Ihor Kuz, Gerwin Klein, Corey Lewis, Adam Walker
ACMICEC
2003
ACM
113views ECommerce» more  ACMICEC 2003»
15 years 5 months ago
PayCash: a secure efficient Internet payment system
This paper describes PayCash, an Internet payment system that was designed to offer strong security and privacy protection. This system is based on the concept of electronic cash,...
Jon M. Peha, Ildar M. Khamitov
GROUP
2005
ACM
15 years 5 months ago
VERN: facilitating democratic group decision making online
VERN is an online collaborative tool that coordinates and distributes the process of finding optimal meeting times across the members of a group. The system combines the underlyin...
Sarita Yardi, Benjamin Hill, Stephen Chan
IAJIT
2010
166views more  IAJIT 2010»
14 years 10 months ago
Specification and Prototyping of Reactive Distributed Systems with Algebraic Term Nets
: The specification of the dynamic behaviour of reactive distributed systems must exhibit the structures of control and has to imply explicitly the relevant aspects of the distribu...
Faiza Bouchoul, Mohamed Mostefai
CCS
2009
ACM
15 years 6 months ago
Towards secure dataflow processing in open distributed systems
Open distributed systems such as service oriented architecture and cloud computing have emerged as promising platforms to deliver software as a service to users. However, for many...
Juan Du, Wei Wei, Xiaohui Gu, Ting Yu