718 search results - page 48 / 144 » Security protocols, properties, and their monitoring |
114
click to vote
CSFW
2009
IEEE
15 years 8 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...
150
click to vote
ENTCS
2007
15 years 1 months ago
2007
Designing secure protocols over ad-hoc networks has proved to be a very challenging task, due to various features of such networks, such as partial connectivity, node mobility, an...
103
click to vote
PKC
2000
Springer
15 years 5 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...
145
click to vote
IACR
2011
14 years 1 months ago
2011
In this paper we present the first public key encryption scheme that is structure preserving, i.e., our encryption scheme uses only algebraic operations. In particular it does not...
127
click to vote
DEXAW
2006
IEEE
15 years 8 months ago
2006
IEEE
Wireless sensor networks (WSNs) are used for various ubiquitous and pervasive environments. A few common applications are security, agriculture, automation, and environmental moni...