1150 search results - page 121 / 230 » Beacon Based Authentication |
CSFW
2009
IEEE
14 years 3 months ago
2009
IEEE
We present a formal model for modeling and reasoning about security protocols. Our model extends standard, inductive, trace-based, symbolic approaches with a formalization of phys...
NTMS
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—It is well known that the suitability of many cryptographic algorithms decreases with time. Hence, it is a challenging task to maintain the integrity, authenticity, con...
NOMS
2008
IEEE
14 years 3 months ago
2008
IEEE
—In this paper we propose an integrated platform to power the symbiosis between networks and services whilst supporting mobility of users. This platform is based on methods for a...
ICCCN
2007
IEEE
14 years 3 months ago
2007
IEEE
— Assuring cryptographic integrity of mutable fields in any on-demand ad hoc routing protocol is more challenging than that of non mutable fields. We propose an efficient auth...
MOBIQUITOUS
2007
IEEE
14 years 3 months ago
2007
IEEE
Key establishment is one of the major challenges in Wireless Personal Area Networks, as traditional security mechanisms often do not cope with the dynamic characteristics of wirel...