4305 search results - page 295 / 861 » Analysing Protocol Implementations |
113
Voted
SCN
2010
Springer
15 years 1 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...
162
Voted
ERSA
2010
15 years 20 days 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...
163
Voted
FORTE
2011
14 years 6 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...
142
Voted
RTAS
2011
IEEE
14 years 5 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...
117
Voted
ICC
2011
IEEE
14 years 2 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...