4305 search results - page 295 / 861 » Analysing Protocol Implementations |
171
click to vote
SCN
2010
Springer
15 years 5 months ago
2010
Springer
The Canetti–Krawczyk (CK) and extended Canetti–Krawczyk (eCK) security models, are widely used to provide security arguments for key agreement protocols. We discuss security s...
217
click to vote
ERSA
2010
15 years 4 months ago
2010
Research in communication networks has shown that the Internet architecture is not sufficient for modern communication areas such as the interconnection networks of super computing...
233
click to vote
FORTE
2011
14 years 10 months ago
2011
Analyzing Border Gateway Protocol (BGP) instances is a crucial step in the design and implementation of safe BGP systems. Today, the analysis is a manual and tedious process. Resea...
212
click to vote
RTAS
2011
IEEE
14 years 9 months ago
2011
IEEE
Recent windowing systems allow graphics applications to directly access the graphics processing unit (GPU) for fast rendering. However, application tasks that render frames on the...
189
click to vote
ICC
2011
IEEE
14 years 6 months ago
2011
IEEE
—Content-centric networking has been proposed as a new networking paradigm that is centered around the distribution of content. A key idea of content-centric networks is to addre...