1653 search results - page 49 / 331 » Timed analysis of security protocols |
COMPSAC
2009
IEEE
14 years 2 months ago
2009
IEEE
As computing technology becomes increasingly pervasive and interconnected, mobility leads to shorter-lasting relationships between end-points with many different security requirem...
CSL
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. We present a symbolic framework, based on a modular operational semantics, for formalizing different notions of compromise relevant for the analysis of cryptographic prot...
PROVSEC
2007
Springer
14 years 1 months ago
2007
Springer
In this paper we study security definitions for authenticated key exchange (AKE) protocols. We observe that there are several families of attacks on AKE protocols that lie outsid...
ESORICS
2012
Springer
11 years 10 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...
WOWMOM
2005
ACM
14 years 1 months ago
2005
ACM
A mobile ad hoc network is a collection of nodes that is connected through a wireless medium forming rapidly changing topologies. The widely accepted existing routing protocols de...