609 search results - page 89 / 122 » Modelling and Checking Timed Authentication of Security Prot... |
MSWIM
2005
ACM
14 years 2 months ago
2005
ACM
In this paper, we consider the security of geographical forwarding (GF) – a class of algorithms widely used in ad hoc and sensor networks. In GF, neighbors exchange their locati...
SECON
2010
IEEE
13 years 7 months ago
2010
IEEE
Reliability and predictability of the timing behavior have shown to be major issues for wireless sensor network deployments. Real-time requirements presented by several application...
ISADS
1999
IEEE
14 years 1 months ago
1999
IEEE
We designed a secure key registration system based on the proactive secret-sharing scheme. A user can register important data such as a session key to a distributed system in a (t...
ISCC
2003
IEEE
14 years 2 months ago
2003
IEEE
WTLS (Wireless Transport Layer Security) is an important standard protocol for secure wireless access to Internet services. WTLS employs public-key cryptosystems during the handsh...
ASPDAC
2001
ACM
14 years 22 days ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...