609 search results - page 66 / 122 » Modelling and Checking Timed Authentication of Security Prot... |
SIGCOMM
2010
ACM
13 years 9 months ago
2010
ACM
Security functions such as access control, encryption and authentication are typically left up to applications on the modern Internet. There is no unified system to implement thes...
DCOSS
2006
Springer
14 years 25 days ago
2006
Springer
Abstract. While sensor networks have recently emerged as a promising computing model, they are vulnerable to various node compromising attacks. In this paper, we propose COOL, a CO...
FMSD
2006
13 years 9 months ago
2006
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...
ACNS
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We examine the problem of message recognition by reviewing the definitions and the security model in the literature. In particular, we examine the Jane Doe protocol, whi...
LCN
2006
IEEE
14 years 3 months ago
2006
IEEE
Vehicular networks will become an important component for information accesses in one’s daily life. A vehicular network provides a vehicular user not only chances to communicate...