5324 search results - page 430 / 1065 » Internet Security Protocols |
181
click to vote
CRYPTO
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents the first automatic technique for proving not only protocols but also primitives in the exact security computational model. Automatic proofs of cryptographic pr...
177
click to vote
ADHOC
2008
15 years 7 months ago
2008
In this paper, we present a secure group key management scheme for hierarchical mobile ad-hoc networks. Our approach aims to improve both scalability and survivability of group ke...
183
click to vote
ESORICS
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. Diagnostic and classification algorithms play an important role in data analysis, with applications in areas such as health care, fault diagnostics, or benchmarking. Bran...
189
click to vote
ADHOCNOW
2008
Springer
16 years 1 months ago
2008
Springer
Ad hoc networks are exposed more than traditional networks to security threats due to their mobility and open architecture aspects. In addition, any dysfunction due to badly con gu...
186
click to vote
CSFW
2006
IEEE
16 years 26 days ago
2006
IEEE
Recently, there has been much interest in extending models for simulation-based security in such a way that the runtime of protocols may depend on the length of their input. Findi...