5488 search results - page 42 / 1098 » On the Secure Implementation of Security Protocols |
IACR
2011
12 years 8 months ago
2011
In this paper we present the first public key encryption scheme that is structure preserving, i.e., our encryption scheme uses only algebraic operations. In particular it does not...
TPHOL
2003
IEEE
14 years 2 months ago
2003
IEEE
Abstract. A second-level security protocol is defined as a security protocol that relies on an underlying security protocol in order to achieve its goals. The verification of cla...
ISCC
2007
IEEE
2007
IEEE
An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation
14 years 3 months ago
Spi2Java is a tool that enables semi-automatic generation of cryptographic protocol implementations, starting from verified formal models. This paper shows how the last version o...
CSREASAM
2006
13 years 10 months ago
2006
This paper describes the design, implementation and performance of a high-performance security system - Active Network Security Immune System (ANSIS)
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
— Databases associated with keywords, can be public, private or hybrid, as a result the solutions to keyword search protocols for each type are different. In this paper, we study...