718 search results - page 45 / 144 » Security protocols, properties, and their monitoring |
127
click to vote
PERCOM
2009
ACM
15 years 8 months ago
2009
ACM
—Body Sensor Networks can be used to continuously monitor patients’ health. However, secure association of sensors with the patient and key management for providing integrity a...
107
click to vote
PATMOS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In this paper we present a new approach to power modeling and runtime power estimation for wireless network interface cards (WNICs). We obtain run-time power estimates by...
ACSAC
1999
IEEE
15 years 6 months ago
1999
IEEE
The Automatic Authentication Protocol Analyzer, 2nd Version AAPA2 is a fast, completely automatic tool for formally analyzing cryptographic protocols. It correctly identi es vulne...
114
click to vote
AMAST
2000
Springer
15 years 6 months ago
2000
Springer
The primary objective of this paper is to present the deÿnition of a new dynamic, linear and modal logic for security protocols. The logic is compact, expressive and formal. It a...
136
click to vote
ESORICS
2012
Springer
13 years 4 months ago
2012
Springer
Given the sensitive nature of health data, privacy of eHealth systems is of prime importance. An eHealth system must enforce that users remain private, even if they are bribed or c...