4111 search results - page 355 / 823 » Security, Protocols, and Trust |
198
Voted
CSFW
2007
IEEE
16 years 1 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...
215
Voted
TACAS
2007
Springer
16 years 1 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...
183
Voted
CCECE
2006
IEEE
16 years 1 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...
300
Voted
AINA
2011
IEEE
14 years 11 months ago
2011
IEEE
—The advent of distributed and ad-hoc-connected systems such as in Ambient Intelligence applications confronts developers with the question on how to specify QoS- and security po...
172
click to vote
ICITS
2009
15 years 5 months ago
2009
In this article, we discuss a naive method of randomness reduction for cryptographic schemes, which replaces the required perfect randomness with output distribution of a computat...