9821 search results - page 141 / 1965 » A Framework for the Development of Protocols |
161
click to vote
CONCUR
2003
Springer
15 years 9 months ago
2003
Springer
We describe a probabilistic polynomial-time process calculus for analyzing cryptographic protocols and use it to derive compositionality properties of protocols in the presence of ...
126
click to vote
JSAC
2008
15 years 4 months ago
2008
Conventionally, most network protocols assume that the network entities who participate in the network activities will always behave as instructed. However, in practice, most netwo...
149
click to vote
CSFW
2010
IEEE
15 years 8 months ago
2010
IEEE
Nowadays it is widely accepted to formulate the security of a protocol carrying out a given task via the "trusted-party paradigm," where the protocol execution is compar...
133
click to vote
ICNP
2006
IEEE
15 years 10 months ago
2006
IEEE
— Some commonly used inter-domain-routing policies—e.g., those using BGP’s MED attribute for cold-potato routing—are beyond the scope of routing theory developed to date. T...
139
click to vote
INFOCOM
2005
IEEE
15 years 10 months ago
2005
IEEE
— Slow convergence in the Internet can be directly attributed to the “path exploration” phenomenon, inherent in all path vector protocols. The root cause for path exploration...