3115 search results - page 36 / 623 » Synthesizing Secure Protocols |
MOZ
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. The design and implementation of a capability secure multiparadigm language should be guided from its conception by proven principles of secure language design. In this p...
ESORICS
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. This article presents an efficient public-key protocol for mutual authentication and key exchange designed for third generation mobile communications systems. The paper a...
FC
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. Secure computation is a promising approach to business problems in which several parties want to run a joint application and cannot reveal their inputs. Secure computatio...
NTMS
2008
IEEE
14 years 3 months ago
2008
IEEE
—Due to the stringent computational capabilities of low-cost RFID tags, many lightweight authentication protocols have been proposed recently aiming to achieve secure authenticat...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
: We propose a new platform for implementing secure wireless ad hoc networks. Our proposal is based on a modular architecture, with the software stack constructed directly on the E...