3115 search results - page 148 / 623 » Synthesizing Secure Protocols |
116
Voted
PKC
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Perfect forward secrecy, one of the possible security features provided by key establishment protocols, concerns dependency of a session key upon long-term secret keys (s...
108
Voted
ISSTA
2006
ACM
15 years 9 months ago
2006
ACM
Web services, service-oriented, and service-discovery architectures help developers solve complex business cases, reduce costs, risks, and time-to-market. The task of developers i...
131
Voted
PODC
2004
ACM
15 years 9 months ago
2004
ACM
We propose a framework to translate certain subclasses of differential equation systems into distributed protocols that are practical. The synthesized protocols are state machine...
144
click to vote
CCS
2008
ACM
15 years 5 months ago
2008
ACM
We propose a new real-time authentication scheme for memory. As in previous proposals the scheme uses a Merkle tree to guarantee dynamic protection of memory. We use the universal...
123
Voted
MOBIQUITOUS
2005
IEEE
15 years 9 months ago
2005
IEEE
Routing is a critical function in multi-hop mobile ad hoc networks (MANETs). A number of MANET-oriented routing protocols have been proposed, of which DSR is widely considered bot...