718 search results - page 114 / 144 » Security protocols, properties, and their monitoring |
117
click to vote
ACNS
2005
Springer
15 years 7 months ago
2005
Springer
Recently, several public key exchange protocols based on symbolic computation in non-commutative (semi)groups were proposed as a more efficient alternative to well established prot...
109
click to vote
ACNS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Membership queries are basic predicate operations that apply to datasets. Quantifications of such queries express global properties between datasets, including subset inc...
137
click to vote
CISS
2010
IEEE
14 years 5 months ago
2010
IEEE
—Distributed transmit beamforming has recently been proposed as a technique in which several single-antenna sources cooperate to form a virtual antenna array and simultaneously t...
116
click to vote
ICNP
2007
IEEE
15 years 8 months ago
2007
IEEE
— While many protocols for sensor network security provide confidentiality for the content of messages, contextual information usually remains exposed. Such information can be c...
115
click to vote
ESORICS
2005
Springer
15 years 7 months ago
2005
Springer
The abstraction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently si...