3115 search results - page 82 / 623 » Synthesizing Secure Protocols |
ICNP
2002
IEEE
14 years 3 months ago
2002
IEEE
Most recent ad hoc network research has focused on providing routing services without considering security. In this paper, we detail security threats against ad hoc routing protoc...
JCM
2008
13 years 10 months ago
2008
In wireless ad hoc networks, all its nodes behave as routers and take part in its discovery and maintenance of routes to other nodes. Thus, the presence of selfish or malicious nod...
WINET
2002
13 years 9 months ago
2002
As sensor networks edge closer towards wide-spread deployment, security issues become a central concern. So far, much research has focused on making sensor networks feasible and u...
ICB
2007
Springer
14 years 4 months ago
2007
Springer
We use grip pattern based biometrics as a secure side channel to achieve pre-authentication in a protocol that sets up a secure channel between two hand held devices. The protocol ...
DAGSTUHL
2003
13 years 11 months ago
2003
Based on a concise domain analysis we develop a formal semantics of security protocols. Its main virtue is that it is a generic model, in the sense that it is parameterized over e...