3115 search results - page 191 / 623 » Synthesizing Secure Protocols |
164
Voted
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
—Vehicular communication networking is a promising approach of facilitating road safety, traffic management, and infotainment dissemination for drivers and passengers. However, i...
108
Voted
WWW
2007
ACM
16 years 4 months ago
2007
ACM
Cryptographic protocols are useful for trust engineering in Web transactions. The Cryptographic Protocol Programming Language (CPPL) provides a model wherein trust management anno...
135
Voted
CSFW
2007
IEEE
15 years 10 months ago
2007
IEEE
There has been excellent progress on languages for rigorously describing key exchange protocols and techniques for proving that the network security tunnels they establish preserv...
147
click to vote
TACAS
2007
Springer
15 years 10 months ago
2007
Springer
We describe a new algorithm for analysing security protocols that use XOR, such as key-management APIs. As a case study, we consider the IBM 4758 CCA API, which is widely used in t...
127
click to vote
CCECE
2006
IEEE
15 years 10 months ago
2006
IEEE
Services such as audio/video streaming, advertising, and software distribution can be delivered much more efficiently by Network Service Providers if multicast data distribution i...