526 search results - page 71 / 106 » A Z Based Approach to Verifying Security Protocols |
ITNG
2008
IEEE
14 years 2 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 ...
ICPPW
2006
IEEE
14 years 1 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 ...
WWW
2004
ACM
14 years 8 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...
WISTP
2007
Springer
14 years 1 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...
ICNP
2002
IEEE
14 years 19 days 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...