1106 search results - page 213 / 222 » Automated Design of Security Protocols |
RSA
2000
13 years 9 months ago
2000
We analyze various stochastic processes for generating permutations almost uniformly at random in distributed and parallel systems. All our protocols are simple, elegant and are b...
ASE
2004
13 years 9 months ago
2004
The construction of interactive server-side Web applications differs substantially from the construction of traditional interactive programs. In contrast, existing Web programming...
ICSE
2008
IEEE-ACM
14 years 10 months ago
2008
IEEE-ACM
E-businesses are increasingly facing the need of porting the provision of their e-services to mobile customers. Evolving requirements, such as reliability, security, scalability, ...
CCS
2004
ACM
14 years 3 months ago
2004
ACM
Access control can be used to ensure that database queries pertaining to sensitive information are not answered. This is not enough to prevent users from learning sensitive inform...
FC
2004
Springer
14 years 3 months ago
2004
Springer
We describe the design and implementation of secure and robust protocol and system for a national electronic lottery. Electronic lotteries at a national level are a viable cost eï¬...