3115 search results - page 359 / 623 » Synthesizing Secure Protocols |
172
click to vote
CSFW
2009
IEEE
16 years 1 months ago
2009
IEEE
—Formal methods have proved their usefulness for analyzing the security of protocols. Most existing results focus on trace properties like secrecy (expressed as a reachability pr...
204
click to vote
IEEEARES
2008
IEEE
16 years 1 months ago
2008
IEEE
— Access control concerns in MANETs are very serious and considered as a crucial challenge for operators who prospects to employ unrivaled capabilities of such networks for diffe...
173
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
A considerable number of anonymous RFID authentication schemes have been proposed. However, current proposals either do not provide robust security guarantees, or suffer from scal...
172
click to vote
ESORICS
2008
Springer
15 years 8 months ago
2008
Springer
Gathering and processing sensitive data is a difficult task. In fact, there is no common recipe for building the necessary information systems. In this paper, we present a provably...
155
click to vote
ICDCS
2009
IEEE
16 years 3 months ago
2009
IEEE
Although distributed key generation (DKG) has been studied for some time, it has never been examined outside of the synchronous setting. We present the first realistic DKG archit...