947 search results - page 92 / 190 » Provable Implementations of Security Protocols |
CCS
2008
ACM
15 years 1 months ago
2008
ACM
As cryptographic protocols execute they accumulate information such as values and keys, and evidence of properties about this information. As execution proceeds, new information b...
132
click to vote
IJNSEC
2008
14 years 12 months ago
2008
In wireless networks, secure multicast protocols are more difficult to implement efficiently due to the dynamic nature of the multicast group and the scarcity of bandwidth at the ...
112
click to vote
GRID
2005
Springer
15 years 5 months ago
2005
Springer
— To date, only Linux-/UNIX-based hosts have been participants in the Grid vision for seamless data access, because the necessary Grid data access protocols have not been impleme...
ICALP
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. The use of passwords in security protocols is particularly delicate because of the possibility of off-line guessing attacks. We study password-based protocols in the cont...
VMCAI
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Implementations of cryptographic protocols, such as OpenSSL for example, contain bugs affecting security, which cannot be detected by just analyzing abstract protocols (e...