12 search results - page 1 / 3 » Composability of Secrecy |
MMMACNS
2001
Springer
13 years 10 months ago
2001
Springer
CORR
2011
Springer
13 years 17 days 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 3 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 16 days 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
13 years 12 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...