5488 search results - page 70 / 1098 » On the Secure Implementation of Security Protocols |
SPW
2001
Springer
15 years 4 months ago
2001
Springer
CSFW
2000
IEEE
15 years 4 months ago
2000
IEEE
CRITIS
2006
15 years 3 months ago
2006
191
click to vote
ICDE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract-- In this paper, we propose secure protocols to perform Singular Value Decomposition (SVD) for two parties over horizontally and vertically partitioned data. We propose va...
106
click to vote
CSFW
2007
IEEE
15 years 6 months ago
2007
IEEE
Most model checking techniques for security protocols make a number of simplifying assumptions on the protocol and/or on its execution environment that prevent their applicability...