947 search results - page 77 / 190 » Provable Implementations of Security Protocols |
120
click to vote
FMCO
2003
Springer
15 years 5 months ago
2003
Springer
Web services security specifications are typically expressed as a mixture of XML schemas, example messages, and narrative explanations. We propose a new specification language fo...
IEEEARES
2007
IEEE
15 years 6 months ago
2007
IEEE
— The current standard for Fault-Tolerance in the Common Object Request Broker Architecture (CORBA) does not support network partitioning. However, distributed systems, and those...
112
click to vote
IPPS
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper describes a hardware architecture for modular multiplication operation which is efficient for bit-lengths suitable for both commonly used types of Public Key Cryptogra...
TRUST
2010
Springer
15 years 4 months ago
2010
Springer
Direct Anonymous Attestation (DAA) is an anonymous signature scheme designed for anonymous attestation of a Trusted Platform Module (TPM) while preserving the privacy of the devic...
SIGCOMM
2010
ACM
15 years 1 days ago
2010
ACM
Recent studies have shown that the current primitives for connecting multiple routing protocol instances (OSPF 1, OSPF 2, EIGRP 10, etc.) are pervasively deployed in enterprise ne...