3088 search results - page 251 / 618 » Multichannel Security Protocols |
150
click to vote
CASCON
2006
15 years 7 months ago
2006
Protocol tester is a project at RMC and Queen's that applies program transformation techniques to protocol data to evaluate the security of network applications. As part of t...
146
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Knowledge-based programs provide an abstract level of description of protocols in which agent actions are related to their states of knowledge. The paper describes how epistemic mo...
148
click to vote
IWCMC
2009
ACM
16 years 1 days ago
2009
ACM
This paper proposes a dynamic trust establishment protocol that enables the nodes of an ad hoc network to establish security associations among each other in a distributed and pee...
210
Voted
CISC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Despite many good (secure) key agreement protocols based on publickey cryptography exist, secure associations between two wireless devices are often established using sym...
165
click to vote
EUROCRYPT
2003
Springer
15 years 10 months ago
2003
Springer
The recently proposed universally composable (UC) security framework for analyzing security of cryptographic protocols provides very strong security guarantees. In particular, a p...