1123 search results - page 152 / 225 » Network Protocol System Fingerprinting - A Formal Approach |
153
click to vote
ICMCS
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we consider applying multiple description coding in data-driven P2P live streaming networks to provide incentives for redistribution. In our system, a video is enco...
155
click to vote
ACSAC
2000
IEEE
15 years 9 months ago
2000
IEEE
Existing software infrastructures and middleware provide uniform security services across heterogeneous information networks. However, few, if any, tools exist that support access...
154
click to vote
FOSSACS
2008
Springer
15 years 6 months ago
2008
Springer
Whereas formal verification of timed systems has become a very active field of research, the idealised mathematical semantics of timed automata cannot be faithfully implemented. Se...
147
click to vote
ACSAC
2006
IEEE
15 years 8 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...
154
click to vote
EUROMICRO
2009
IEEE
15 years 8 months ago
2009
IEEE
Redundancy can improve the availability of components in service-oriented systems. However, predicting and quantifying the effects of different redundancy strategies can be a comp...