314 search results - page 28 / 63 » Secure Network Coding on a Wiretap Network |
112
Voted
AINA
2005
IEEE
15 years 8 months ago
2005
IEEE
Mobile code computation has lead to a new paradigm of distributed computation. A mobile process can move from site to site and interact with the resources as a local process. To p...
114
Voted
ISW
2004
Springer
15 years 8 months ago
2004
Springer
We study the security challenges faced by the mobile agent paradigm, where code travels and performs computations on remote hosts in an autonomous manner. We define universally co...
117
click to vote
ACSAC
2001
IEEE
15 years 6 months ago
2001
IEEE
According to one common view, information security comes down to technical measures. Given better access control policy models, formal proofs of cryptographic protocols, approved ...
128
Voted
SP
2009
IEEE
15 years 9 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
120
Voted
ISCC
2000
IEEE
15 years 7 months ago
2000
IEEE
Mirror sites approach has been proposed recently for reducing the access delay and providing load balancing in network servers. In the mirror site approach a file, such as a multi...