1362 search results - page 190 / 273 » Model Checking Large Network Protocol Implementations |
114
click to vote
LISA
2003
15 years 4 months ago
2003
Telecommuting and access over a Wireless LAN require strong security at the network level. Although IPsec is well-suited for this task, it is difficult to configure and operate ...
125
click to vote
ITNG
2010
IEEE
15 years 1 months ago
2010
IEEE
— Replication is a technique widely used for large networked software systems to provide qualities such as reliability, availability, performance and scalability to their clients...
141
click to vote
INFOCOM
2012
IEEE
13 years 5 months ago
2012
IEEE
Abstract—BitTorrent has been the most popular P2P (Peer-toPeer) paradigm during recent years. Built upon great intuition, the piece-selection and neighbor-selection modules roote...
134
click to vote
ACSAC
2006
IEEE
15 years 6 months ago
2006
IEEE
Wireless networking technologies based on the IEEE 802.11 series of standards fail to authenticate management frames and network card addresses and suffer from serious vulnerabili...
139
click to vote
RECOMB
2005
Springer
16 years 3 months ago
2005
Springer
: A series of genome-scale algorithms and high-performance implementations is described and shown to be useful in the genetic analysis of gene transcription. With them it is possib...