14824 search results - page 414 / 2965 » Security - Introduction |
231
click to vote
CSFW
2007
IEEE
15 years 11 months ago
2007
IEEE
We present interpretations of type systems for secure information flow in Hoare logic, complementing previous encodings in binary (e.g. relational) program logics. Treating base-l...
216
click to vote
CSE
2009
IEEE
15 years 11 months ago
2009
IEEE
While a variety of mechanisms have been developed for securing individual intra-domain protocols, none address the issue in a holistic manner. We develop a unified framework to sec...
196
click to vote
FC
2010
Springer
15 years 11 months ago
2010
Springer
Abstract We propose several variants of a secure multiparty computation protocol for AES encryption. The best variant requires 2200 + 400 255 expected elementary operations in expe...
226
click to vote
EUROCRYPT
2006
Springer
15 years 11 months ago
2006
Springer
To prove that a secure key-agreement protocol exists one must at least show P = NP. Moreover any proof that the sequential composition of two non-adaptively secure pseudorandom fun...
219
click to vote
ACSAC
2001
IEEE
15 years 11 months ago
2001
IEEE
Secure group communication protocols, in particular multi-party key agreement and update algorithms, help promote traditional and new Internet multi-party applications such as vid...