253 search results - page 33 / 51 » Compositional Analysis of Authentication Protocols |
CORR
2010
Springer
13 years 5 months ago
2010
Springer
Traditional key management techniques, such as public key cryptography or key distribution center (e.g., Kerberos), are often not effective for wireless sensor networks for the se...
FASE
2005
Springer
14 years 1 months ago
2005
Springer
Modeling the dependencies between provided and required services within a software component is necessary for several reasons, such as automated component adaptation and architectu...
DCOSS
2006
Springer
13 years 11 months ago
2006
Springer
User access control in sensor networks defines a process of granting user the access right to the information and resources. It is essential for the future real sensor network depl...
EJWCN
2010
13 years 2 months ago
2010
To achieve off-line delegation for mobile readers, we propose a delegation protocol for mobile RFID allowing its readers access to specific tags through back-end server. That is t...
FASE
2011
Springer
12 years 11 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...