1362 search results - page 55 / 273 » Model Checking Large Network Protocol Implementations |
116
click to vote
ASWEC
2006
IEEE
15 years 8 months ago
2006
IEEE
With the increased usage of wireless LANs (WLANs), businesses and educational institutions are becoming more concerned about wireless network security. The latest WLAN security pr...
106
click to vote
GLOBECOM
2007
IEEE
15 years 8 months ago
2007
IEEE
— A large number of overlay protocols have been developed, almost all of which assume each host has two-way communication capability. However, this does not hold as the deploymen...
116
click to vote
ICSE
2008
IEEE-ACM
16 years 2 months ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...
131
click to vote
MMB
2001
Springer
15 years 6 months ago
2001
Springer
This paper provides a performance evaluation of the TETRAPOL random access protocol. The results are based on a Markovian model which is also presented. The Markovian model is use...
ESANN
2008
15 years 3 months ago
2008
An initialization mechanism is presented for Kohonen neural network implemented in CMOS technology. Proper selection of initial values of neurons' weights has a large influenc...