1757 search results - page 77 / 352 » Secure Content Validation |
106
click to vote
DSN
2006
IEEE
15 years 9 months ago
2006
IEEE
Routing infrastructure plays a vital role in the Internet, and attacks on routers can be damaging. Compromised routers can drop, modify, mis-forward or reorder valid packets. Exis...
107
click to vote
NSDI
2008
15 years 5 months ago
2008
We present the design and evaluation of Passport, a system that allows source addresses to be validated within the network. Passport uses efficient, symmetric-key cryptography to ...
123
click to vote
ISN
1998
Springer
15 years 7 months ago
1998
Springer
This paper presents solutions developed in the ACTS ASPeCT project for advanced security features in UMTS. In particular, a secure billing scheme for value-added information servic...
135
click to vote
ECOOPW
1999
Springer
15 years 7 months ago
1999
Springer
This paper formalizes the folklore result that strongly-typed applets are more secure than untyped ones. We formulate and prove several security properties that all well-typed app...
115
click to vote
DAGSTUHL
2003
15 years 4 months ago
2003
Based on a concise domain analysis we develop a formal semantics of security protocols. Its main virtue is that it is a generic model, in the sense that it is parameterized over e...