1679 search results - page 113 / 336 » Security Properties and CSP |
187
click to vote
CSFW
2006
IEEE
16 years 10 days ago
2006
IEEE
We describe a faithful embedding of the Dolev-Yao model of Backes, Pfitzmann, and Waidner (CCS 2003) in the theorem prover Isabelle/HOL. This model is cryptographically sound in ...
156
click to vote
CSFW
2006
IEEE
16 years 10 days ago
2006
IEEE
Robustness links confidentiality and integrity properties of a computing system and has been identified as a useful property for characterizing and enforcing security. Previous ...
203
click to vote
CSFW
2005
IEEE
15 years 12 months ago
2005
IEEE
We develop a general method for proving properties of contract-signing protocols using a specialized protocol logic. The method is applied to the Asokan-ShoupWaidner and the Garay...
151
click to vote
ISPEC
2005
Springer
15 years 11 months ago
2005
Springer
Token-controlled public key encryption (TCPKE) schemes, introduced in [1], offer many possibilities of application in financial or legal scenarios. Roughly speaking, in a TCPKE s...
164
click to vote
TRUST
2010
Springer
15 years 11 months ago
2010
Springer
Virtualization has been purported to be a panacea for many security problems. We analyze the feasibility of constructing an integrity-protected hypervisor on contemporary x86 hardw...