84 search results - page 4 / 17 » Verifying Security Protocols: An ASM Approach |
ACSC
2007
IEEE
13 years 11 months ago
2007
IEEE
Security protocols are often specified at the application layer; however, application layer specifications give little detail regarding message data structures at the presentation...
EUROMICRO
2007
IEEE
14 years 1 months ago
2007
IEEE
Multicast network services advantageously complement multimedia information and communication technologies, as they open up the realm for highly scalable multicustomer application...
JALC
2006
13 years 7 months ago
2006
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...
TPHOL
2009
IEEE
14 years 2 months ago
2009
IEEE
Traditional security protocols are mainly concerned with key establishment and principal authentication and rely on predistributed keys and properties of cryptographic operators. I...
APNOMS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. A wireless sensor network is a collection of devices limited in lowpowered batteries, processing, communication bandwidth capabilities and low memory availability. Due to...