12 search results - page 1 / 3 » Composability of Secrecy |
MMMACNS
2001
Springer
14 years 3 months ago
2001
Springer
CORR
2011
Springer
13 years 5 months ago
2011
Springer
—In this work a four terminal Gaussian network composed of a source, a destination, an eavesdropper and a jammer relay is studied. The jammer relay does not hear the source trans...
PIMRC
2010
IEEE
13 years 8 months ago
2010
IEEE
A four terminal Gaussian network composed of a source, a destination, an eavesdropper and a jammer relay is investigated when the jammer relay is causally given the source message....
JOC
2011
13 years 5 months ago
2011
In light of the growing complexity of cryptographic protocols and applications, it becomes highly desirable to mechanize — and eventually automate — the security analysis of p...
APSCC
2007
IEEE
14 years 5 months ago
2007
IEEE
In order to secure communications for dynamic peer groups in mobile computing environments, key agreement protocols are required. In this paper, we propose a new key agreement pro...