526 search results - page 71 / 106 » A Z Based Approach to Verifying Security Protocols |
163
Voted
ITNG
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper the authors describe the implementation and validation of a prototype of an environmental and health monitoring system based on a Wireless Sensor Network (WSN). The ...
123
Voted
ICPPW
2006
IEEE
15 years 9 months ago
2006
IEEE
Trust, the fundamental basis of ‘cooperation’ – one of the most important characteristics for the performance of pervasive ad hoc network-- is under serious threat with the ...
101
Voted
WWW
2004
ACM
16 years 4 months ago
2004
ACM
The ability of the Web to share data regardless of geographical location raises a new issue called remote authoring. With the Internet and Web browsers being independent of hardwa...
107
Voted
WISTP
2007
Springer
15 years 9 months ago
2007
Springer
The network is becoming more and more versatile because of the variety of the computing resources and the communication technologies that have become available. The mobility of the...
243
Voted
ICNP
2002
IEEE
15 years 8 months ago
2002
IEEE
We consider several distributed collaborative key agreement protocols for dynamic peer groups. This problem has several important characteristics which make it different from trad...