1757 search results - page 77 / 352 » Secure Content Validation |
142
click to vote
DSN
2006
IEEE
16 years 9 days 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...
139
click to vote
NSDI
2008
15 years 8 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 ...
150
click to vote
ISN
1998
Springer
15 years 10 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...
166
click to vote
ECOOPW
1999
Springer
15 years 10 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...
150
click to vote
DAGSTUHL
2003
15 years 7 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...