3 search results - page 1 / 1 » Verifying Cryptographic Protocols with Subterms Constraints |
LPAR
2007
Springer
13 years 11 months ago
2007
Springer
Many analysis techniques and decidability results have been obtained for cryptographic protocols. However all of them consider protocols with limited procedures for the processing ...
CSFW
2010
IEEE
13 years 8 months ago
2010
IEEE
Mobile ad hoc networks consist of mobile wireless devices which autonomously organize their infrastructure. In such a network, a central issue, ensured by routing protocols, is to ...
SENSYS
2003
ACM
13 years 10 months ago
2003
ACM
Sensor networks promise viable solutions to many monitoring problems. However, the practical deployment of sensor networks faces many challenges imposed by real-world demands. Sen...