1362 search results - page 184 / 273 » Model Checking Large Network Protocol Implementations |
130
click to vote
JASIS
2008
15 years 3 months ago
2008
Abstract. In spite of policy concerns and high costs, the law enforcement community is investing heavily in data sharing initiatives. Cross-jurisdictional criminal justice informat...
133
click to vote
WOWMOM
2006
ACM
15 years 9 months ago
2006
ACM
Delay tolerant and mobile ad hoc networks, present considerable challenges to the development of protocols and systems. In particular, the challenge of being able to cope with the...
134
click to vote
SIGCOMM
2010
ACM
15 years 3 months ago
2010
ACM
Data center networks encode locality and topology information into their server and switch addresses for performance and routing purposes. For this reason, the traditional address...
106
Voted
FPGA
2007
ACM
15 years 9 months ago
2007
ACM
Today’s network intrusion prevention systems (IPSs) must perform increasingly sophisticated analysis—parsing protocols and interpreting application dialogs rather than simply ...
162
click to vote
USS
2010
15 years 1 months ago
2010
The Domain Name System (DNS) is an essential protocol used by both legitimate Internet applications and cyber attacks. For example, botnets rely on DNS to support agile command an...