5324 search results - page 61 / 1065 » Internet Security Protocols |
DC
1998
13 years 7 months ago
1998
CCS
2003
ACM
14 years 28 days ago
2003
ACM
This paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting...
FI
2010
13 years 2 months ago
2010
: One of the major issues in the future Internet is the integration of telecom networks with the Internet. In many countries, large Internet Service Providers (ISPs) are also telec...
NETWORK
2008
13 years 7 months ago
2008
The Internet would be more efficient and robust if routers could flexibly divide traffic over multiple paths. Often, having one or two extra paths is sufficient for customizing pa...
CCS
2010
ACM
13 years 8 months ago
2010
ACM
