4305 search results - page 45 / 861 » Analysing Protocol Implementations |
WOSP
2005
ACM
14 years 2 months ago
2005
ACM
The evolution towards IP-aware access networks creates the possibility (and, indeed, the desirability) of additional network services, like firewalling or NAT, integrated into th...
CBSE
2008
Springer
13 years 10 months ago
2008
Springer
Current software component models insufficiently reflect the different stages of component life-cycle, which involves design, implementation, deployment, and runtime. Therefore, re...
LCN
1996
IEEE
14 years 29 days ago
1996
IEEE
Development of new transport protocols or protocol algorithms suffers from the complexity of the envir onment in which they ar e intended to run. Modeling techniques attempt to av...
IJNSEC
2008
13 years 8 months ago
2008
Despite the importance of proofs in assuring protocol implementers about the security properties of key establishment protocols, many protocol designers fail to provide any proof ...
UML
2001
Springer
14 years 1 months ago
2001
Springer
: Organizations with large integrated computer-based systems are often faced with the challenge of evolving their mission-critical systems in a manner that maximizes reuse opportun...