107 search results - page 17 / 22 » A secure compiler for session abstractions |
164
click to vote
WWIC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Multicasting is increasingly used as an efficient communication mechanism for group-oriented applications in the Internet. In order to offer secrecy for multicast applic...
166
click to vote
INFOCOM
2000
IEEE
15 years 10 months ago
2000
IEEE
Abstract— In this paper, we share our experience in designing and building a content based switch which we call L5. In addition to the layer 2-3-4 information available in the pa...
184
click to vote
CADE
2002
Springer
16 years 6 months ago
2002
Springer
Abstract. Proof-carrying code (PCC) allows a code producer to associate to a program a machine-checkable proof of its safety. In the original approach to PCC, the safety policy inc...
143
click to vote
PET
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Three main methods of content blocking are used on the Internet: blocking routes to particular IP addresses, blocking specific URLs in a proxy cache or firewall, and pr...
150
click to vote
IFIP
2009
Springer
16 years 17 days ago
2009
Springer
Abstract. We present an analysis that determines when it is possible to multiplex a pair of cryptographic protocols. We present a transformation that improves the coverage of this ...