5488 search results - page 632 / 1098 » On the Secure Implementation of Security Protocols |
165
click to vote
ACSD
2003
IEEE
16 years 4 days ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...
155
click to vote
FC
1999
Springer
15 years 11 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...
189
click to vote
SCN
2010
Springer
15 years 5 months ago
2010
Springer
An identity-based encryption (IBE) scheme can greatly reduce the complexity of sending encrypted messages. However, an IBE scheme necessarily requires a private-key generator (PKG)...
222
click to vote
CASES
2010
ACM
15 years 4 months ago
2010
ACM
The Advanced Encryption Standard is used in almost every new embedded application that needs a symmetric-key cipher. In such embedded applications, high-performance as well as res...
162
click to vote
C++
1994
15 years 8 months ago
1994
ne the design and detail the implementation of a language extension for abstracting types and for decoupling subtyping and inheritance in C++. This extension gives the user more of...