224 search results - page 32 / 45 » Secrecy in Untrusted Networks |
TACAS
2007
Springer
14 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...
WWIC
2004
Springer
14 years 22 days ago
2004
Springer
Abstract. Multicasting is increasingly used as an efficient communication mechanism for group-oriented applications in the Internet. In order to offer secrecy for multicast applic...
ICDCSW
2002
IEEE
14 years 11 days ago
2002
IEEE
In this paper, we focus on the problem of secure multicast in dynamic groups. In this problem, a group of users communicate using a shared key. Due to the dynamic nature of these ...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
This paper investigates the problem of secure lossy source coding in the presence of an eavesdropper with arbitrary correlated side informations at the legitimate decoder (referre...
CORR
2011
Springer
12 years 11 months ago
2011
Springer
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descripti...