5488 search results - page 63 / 1098 » On the Secure Implementation of Security Protocols |
ENTCS
2006
14 years 11 months ago
2006
The application of formal methods to security protocol analysis has been extensively researched during the last 25 years. Several formalisms and (semi-)automatic tools for the ver...
124
click to vote
SASN
2003
ACM
15 years 5 months ago
2003
ACM
In this paper we address the problem of secure multicast of data streams over a multihop wireless ad hoc network. We propose a dynamic multicast group management protocol that aim...
112
click to vote
IACR
2011
13 years 11 months ago
2011
Sorting is among the most fundamental and well-studied problems within computer science and a core step of many algorithms. In this article, we consider the problem of constructing...
ICUMT
2009
14 years 9 months ago
2009
In the context of multiple security protocols running in the same environment, we propose a syntactical approach for identifying multi-protocol attacks. The proposed approach uses ...
TPDS
2010
14 years 10 months ago
2010
Abstract—In the past few years, P2P file distribution applications (e.g., BitTorrent) are becoming so popular that they are the dominating source of Internet traffic. This crea...