27 search results - page 1 / 6 » Causality-based Abstraction of Multiplicity in Security Prot... |
CAV
2008
Springer
13 years 6 months ago
2008
Springer
A Tool: Causality-based Abstraction for Security Protocol Analysis (Tool Paper) Michael Backes1,2 , Stefan Lorenz1 , Matteo Maffei1 , and Kim Pecina1 1 Saarland University, Saarbr
CSFW
2007
IEEE
13 years 11 months ago
2007
IEEE
ICDE
2009
IEEE
14 years 6 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...
AFRICACRYPT
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. We present a simple zero-knowledge proof of knowledge protocol of which many protocols in the literature are instantiations. These include Schnorr’s protocol for provin...
ACISP
2005
Springer
13 years 10 months ago
2005
Springer
Abstract The Host Identity Protocol (HIP) is an Internet security and multiaddressing mechanism specified by the IETF. HIP introduces a new layer between the transport and network ...