5488 search results - page 87 / 1098 » On the Secure Implementation of Security Protocols |
ESORICS
2004
Springer
15 years 5 months ago
2004
Springer
The use of formal methods to verify security protocols with respect to secrecy and authentication has become standard practice. In contrast, the formalization of other security goa...
INFOCOM
2006
IEEE
15 years 5 months ago
2006
IEEE
— Network protocol system fingerprinting has been recognized as an important issue and a major threat to network security. Prevalent works rely largely on human experiences and i...
SP
2008
IEEE
15 years 6 months ago
2008
IEEE
Civitas is the first electronic voting system that is coercion-resistant, universally and voter verifiable, and suitable for remote voting. This paper describes the design and i...
116
click to vote
JSS
2007
14 years 11 months ago
2007
We present the SEcure communicAtion Library (SEAL), a Linux-based C language application programming interface (API) library that implements secure group key agreement algorithms ...
101
click to vote
ACSAC
2006
IEEE
15 years 3 months ago
2006
IEEE
Restrictions are commonly placed on the permitted uses of network protocols in the interests of security. These restrictions can sometimes be difficult to enforce. As an example, ...