3115 search results - page 285 / 623 » Synthesizing Secure Protocols |
166
click to vote
ACSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Large-scale distributed systems present numerous security problems not present in local systems. In this paper we present a general security architecture for a large-scale object-...
198
click to vote
ESORICS
2000
Springer
15 years 10 months ago
2000
Springer
Several authors have proposed using code modification as a technique for enforcing security policies such as resource limits, access controls, and network information flows. Howeve...
189
click to vote
JNW
2008
15 years 6 months ago
2008
With the increasing dependence on wireless LANs (WLANs), businesses, educational institutions and other organizations are in need of a reliable security mechanism. The latest secur...
197
click to vote
PODC
2003
ACM
15 years 12 months ago
2003
ACM
Applications such as e-commerce payment protocols, electronic contract signing, and certified e-mail delivery require that fair exchange be assured. A fair-exchange protocol allo...
176
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— Internet Protocol Security (IPSec) is a widely deployed mechanism for implementing Virtual Private Networks (VPNs). In previous work, we examined the overheads incurred...