3115 search results - page 246 / 623 » Synthesizing Secure Protocols |
167
click to vote
BROADNETS
2006
IEEE
15 years 11 months ago
2006
IEEE
— Data dissemination is an indispensible protocol component for the emerging large-scale sensor networks. In this paper, we propose a secure data dissemination protocol that enha...
175
click to vote
BCS
2008
15 years 7 months ago
2008
Dependable systems evolution has been identified by the UK Computing Research Committee (UKCRC) as one of the current grand challenges for computer science. We present work toward...
157
Voted
JAR
2008
15 years 5 months ago
2008
The spreading of multicast technology enables the development of group communication and so dealing with digital streams becomes more and more common over the Internet. Given the f...
144
click to vote
WECWIS
2005
IEEE
15 years 11 months ago
2005
IEEE
A zero-knowledge proof (ZKP) is an interactive proof that allows a prover to prove the knowledge of a secret to a verifier without revealing it. ZKPs are powerful tools to deal wi...
186
click to vote
FC
2003
Springer
15 years 10 months ago
2003
Springer
Combinatorial auctions have recently attracted the interest of many researchers due to their promising applications such as the spectrum auctions recently held by the FCC. In a com...