554 search results - page 91 / 111 » Verifying Security Protocols Modelled by Networks of Automat... |
TWC
2008
13 years 7 months ago
2008
Abstract--In this paper, the flow-level performance of opportunistic scheduling in orthogonal frequency division multiplexing (OFDM) networks is studied. The analysis accounts for ...
WMASH
2003
ACM
14 years 28 days ago
2003
ACM
A serious challenge for seamless roaming between independent wireless LANs (WLANs) is how best to confederate the various WLAN service providers, each having different trust relat...
TMC
2012
11 years 10 months ago
2012
— While many protocols for sensor network security provide confidentiality for the content of messages, contextual information usually remains exposed. Such information can be c...
CORR
2010
Springer
13 years 2 months ago
2010
Springer
We introduce a new simulation platform called Insight, created to design and simulate cyber-attacks against large arbitrary target scenarios. Insight has surprisingly low hardware...
SIGCOMM
1998
ACM
13 years 12 months ago
1998
ACM
Many emerging applications (e.g., teleconference, real-time information services, pay per view, distributed interactive simulation, and collaborative work) are based upon a group ...