860 search results - page 50 / 172 » Uncovering Attacks on Security Protocols |
SP
2000
IEEE
13 years 11 months ago
2000
IEEE
The law of Conservation of Flow, which states that an input must either be absorbed or sent on as an output (possibly with modification), is an attractive tool with which to analy...
AICT
2007
IEEE
2007
IEEE
Towards Security Analyses of an Identity Federation Protocol for Web Services in Convergent Networks
13 years 9 months ago
— We describe a formal approach to the analysis of security aspects of an identity federation protocol for web services in convergent networks. This network protocol was proposed...
MOBIQUITOUS
2007
IEEE
14 years 1 months ago
2007
IEEE
Key establishment is one of the major challenges in Wireless Personal Area Networks, as traditional security mechanisms often do not cope with the dynamic characteristics of wirel...
CCR
2007
13 years 7 months ago
2007
We analyze a secure routing protocol, Secure Path Vector (SPV), proposed in SIGCOMM 2004. SPV aims to provide authenticity for route announcements in the Border Gateway Protocol (...
MOBIHOC
2007
ACM
14 years 7 months ago
2007
ACM
Disruption-Tolerant Networks (DTNs) deliver data in network environments composed of intermittently connected nodes. Just as in traditional networks, malicious nodes within a DTN ...