741 search results - page 97 / 149 » Verification of security protocols using LOTOS-method and ap... |
140
click to vote
FC
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. We present a series of protocols for authenticating an individual’s membership in a group without revealing that individual’s identity and without restricting how the...
182
click to vote
CCECE
2006
IEEE
16 years 2 days ago
2006
IEEE
This paper presents a hardware/software co-design for Multi Protocol Label Switching (MPLS) using RSVP-TE as a signaling protocol. MPLS is the protocol framework on which the atte...
177
click to vote
BROADNETS
2006
IEEE
16 years 2 days ago
2006
IEEE
— With the advent of service sensitive applications such as remote controlled experiments, time constrained massive data transfers, and video-conferencing, it has become apparent...
157
click to vote
VLSID
2008
IEEE
16 years 6 months ago
2008
IEEE
Protocol conversion involves the use of a converter to control communication between two or more protocols such that desired system-level specifications can be satisfied. We invest...
174
click to vote
EUROCRYPT
2008
Springer
15 years 7 months ago
2008
Springer
Secure multi-party computation (MPC) is a central problem in cryptography. Unfortunately, it is well known that MPC is possible if and only if the underlying communication network...