1653 search results - page 5 / 331 » Timed analysis of security protocols |
CSFW
2007
IEEE
14 years 1 months ago
2007
IEEE
JLP
2008
13 years 7 months ago
2008
In the analysis of security protocols, methods and tools for reasoning about protocol behaviors have been quite effective. We aim to expand the scope of those methods and tools. W...
WISEC
2009
ACM
14 years 2 months ago
2009
ACM
Time synchronization in highly distributed wireless systems like sensor and ad hoc networks is extremely important in order to maintain a consistent notion of time throughout the ...
PDCAT
2007
Springer
14 years 1 months ago
2007
Springer
A communication protocol is a fundamental component of a multi-agent system. The security requirements for a communication protocol should be articulated during the early stages o...
GLOBECOM
2008
IEEE
14 years 1 months ago
2008
IEEE
— Vehicular ad hoc networking is an important component of Intelligent Transportation Systems. The main benefit of vehicular ad hoc network (VANET) communication is seen in activ...