526 search results - page 19 / 106 » A Z Based Approach to Verifying Security Protocols |
133
Voted
ICALP
2010
Springer
15 years 5 months ago
2010
Springer
d Abstract) Benny Applebaum1 , Yuval Ishai2 , and Eyal Kushilevitz3 1 Computer Science Department, Weizmann Institute of Science 2 Computer Science Department, Technion and UCLA 3 ...
120
Voted
SIGCOMM
1997
ACM
15 years 7 months ago
1997
ACM
Datagram services provide a simple,
exible, robust, and communication abstraction; their usefulness has been well demonstrated by the success of IP, UDP, and RPC. Yet, the overwh...
127
Voted
CCS
2007
ACM
15 years 10 months ago
2007
ACM
In this paper we propose a new voting protocol with desirable security properties. The voting stage of the protocol can be performed by humans without computers; it provides every...
155
Voted
ISSRE
2010
IEEE
15 years 2 months ago
2010
IEEE
— With the increasing reliance of complex real-world applications on composite web services assembled from independently developed component services, there is a growing need for...
120
Voted
ICPADS
2007
IEEE
15 years 10 months ago
2007
IEEE
Security is a common problem in completely decentralized peer-to-peer systems. Although several suggestions exist on how to create a secure key-based routing protocol, a practicab...