5255 search results - page 97 / 1051 » Formal Methods for Privacy |
136
Voted
CAV
2003
Springer
15 years 7 months ago
2003
Springer
119
click to vote
NORDSEC
2009
Springer
15 years 7 months ago
2009
Springer
In this paper, we report the results of the formal analysis performed on the Estonian Mobile-ID protocol (deployed since 2008), allowing citizens and permanent residents of Estonia...
103
click to vote
CCS
2004
ACM
15 years 7 months ago
2004
ACM
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...
135
click to vote
CSFW
2011
IEEE
14 years 2 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...
138
click to vote
ESORICS
2010
Springer
15 years 3 months ago
2010
Springer
Formal RFID security and privacy frameworks are fundamental to the design and analysis of robust RFID systems. In this paper, we develop a new definitional framework for RFID priv...