1362 search results - page 39 / 273 » Model Checking Large Network Protocol Implementations |
122
click to vote
CN
2007
15 years 1 months ago
2007
There is strong evidence that the current implementation of TCP will perform poorly in future high speed networks. To address this problem many congestion control protocols have b...
113
click to vote
ICALP
2001
Springer
15 years 6 months ago
2001
Springer
A cryptographic protocol can be described as a system of concurrent processes, and analysis of the traces generated by this system can be used to verify authentication and secrecy ...
PADS
2003
ACM
15 years 7 months ago
2003
ACM
A federation community is a group of federations working together to achieve a common goal. With a federation community, a large-scale simulation can be built using existing simul...
139
click to vote
DSRT
2008
IEEE
15 years 3 months ago
2008
IEEE
P2P systems have witnessed phenomenal development in recent years. Evaluating and analyzing new and existing algorithms and techniques is a key issue for developers of P2P systems...
125
click to vote
SIGCOMM
2010
ACM
15 years 2 months ago
2010
ACM
Security functions such as access control, encryption and authentication are typically left up to applications on the modern Internet. There is no unified system to implement thes...