5722 search results - page 121 / 1145 » Security Function Interactions |
CSFW
2010
IEEE
14 years 6 days ago
2010
IEEE
We embed an operational semantics for security protocols in the interactive theorem prover Isabelle/HOL and derive two strong protocol-independent invariants. These invariants allo...
CTRSA
2006
Springer
14 years 17 days ago
2006
Springer
In this work, we initiate the study of realizing a ranking functionality (m1,
ASIACRYPT
2003
Springer
14 years 2 months ago
2003
Springer
We introduce a new cryptographic tool: multiset hash functions. Unlike standard hash functions which take strings as input, multiset hash functions operate on multisets (or sets). ...
JOC
2007
13 years 8 months ago
2007
In the setting of secure multiparty computation, a set of mutually distrustful parties wish to securely compute some joint function of their inputs. In the stand-alone case, it ha...
CHI
2005
ACM
14 years 9 months ago
2005
ACM
Cryptographically protected email has a justly deserved reputation of being difficult to use. Based on an analysis of the PEM, PGP and S/MIME standards and a survey of 470 merchan...