14850 search results - page 300 / 2970 » The Security of |
204
click to vote
CCS
2000
ACM
15 years 12 months ago
2000
ACM
We consider compositional properties of reactive systems that are secure in a cryptographic sense. We follow the wellknown simulatability approach, i.e., the specification is an ...
157
click to vote
ACSAC
1999
IEEE
15 years 12 months ago
1999
IEEE
Secure enterprise programming is a difficult and tedious task. Programmers need tools that support t levels of abstraction and that track all the components that participate in di...
242
click to vote
SP
1998
IEEE
15 years 11 months ago
1998
IEEE
In developing secure applications and systems, the designers often must incorporate secure user identification in the design specification. In this paper, we study secure off-line...
214
click to vote
SIGCOMM
1997
ACM
15 years 11 months ago
1997
ACM
As multicast applications are deployed for mainstream use, the need to secure multicast communications will become critical. Multicast, however, does not t the point-to-point mod...
201
click to vote
CONEXT
2007
ACM
15 years 11 months ago
2007
ACM
Despite the pressing need to secure routing, none of the existing secure variants of BGP has been widely deployed. Due to the size and decentralized nature of the Internet, it bec...