659 search results - page 20 / 132 » Compiling and securing cryptographic protocols |
SCN
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. Ethernet and IP form the basis of the vast majority of LAN installations. But these protocols do not provide comprehensive security mechanisms, and thus give way for a pl...
CCS
2007
ACM
14 years 1 months ago
2007
ACM
Wireless sensor nodes generally face serious limitations in terms of computational power, energy supply, and network bandwidth. Therefore, the implementation of effective and sec...
WIMOB
2008
IEEE
14 years 1 months ago
2008
IEEE
With Dynamic Home Agent Address Discovery (DHAAD), as specified in Mobile IPv6, a Mobile Node can discover the address of a suitable Home Agent on the home link. However, DHAAD suf...
IEEEIAS
2007
IEEE
14 years 1 months ago
2007
IEEE
We model security protocols as a game tree using concepts of game semantics. The model interprets protocol specifications as strategies over a game tree that represents the type ...
SIGCOMM
2004
ACM
14 years 25 days ago
2004
ACM
As our economy and critical infrastructure increasingly relies on the Internet, the insecurity of the underlying border gateway routing protocol (BGP) stands out as the Achilles h...