53 search results - page 1 / 11 » Formal Analysis of Privacy in an eHealth Protocol |
ESORICS
2012
Springer
11 years 7 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...
CCS
2010
ACM
13 years 5 months ago
2010
ACM
CSFW
2011
IEEE
12 years 4 months ago
2011
IEEE
—We present a Horn-clause-based framework for analysing security protocols that use platform configuration registers (PCRs), which are registers for maintaining state inside the...
SP
2008
IEEE
13 years 11 months ago
2008
IEEE
We study formal security properties of a state-of-the-art protocol for secure file sharing on untrusted storage, in the automatic protocol verifier ProVerif. As far as we know, ...
CSFW
1998
IEEE
13 years 9 months ago
1998
IEEE
This paper applies the theory of Communicating Sequential Processes (CSP) to the modelling and analysis of a non-repudiation protocol. Non-repudiation protocols di er from authent...