Sciweavers

3088 search results - page 14 / 618
» Multichannel Security Protocols
Sort
View
CSFW
1996
IEEE
14 years 22 days ago
A High-Throughput Secure Reliable Multicast Protocol
Dalia Malki, Michael K. Reiter
ICCCN
2007
IEEE
14 years 2 months ago
Low-Latency Multichannel Wireless Mesh Networks
—Multimedia requirements of the 1990’s drove wired and optical network architects to reconsider the inefficiencies of packet switching and consider long proven methods such as...
Robert McTasney, Dirk Grunwald, Douglas C. Sicker
GLOBECOM
2007
IEEE
13 years 10 months ago
Hardware-Constrained Multi-Channel Cognitive MAC
—Open spectrum systems allow unlicensed secondary users equipped with cognitive radio to opportunistically access the spectrum underutilized by primary users. Cognitive radio has...
Juncheng Jia, Qian Zhang
SP
2008
IEEE
195views Security Privacy» more  SP 2008»
14 years 3 months ago
Automated Formal Analysis of a Protocol for Secure File Sharing on Untrusted Storage
We study formal security properties of a state-of-the-art protocol for secure file sharing on untrusted storage, in the automatic protocol verifier ProVerif. As far as we know, ...
Bruno Blanchet, Avik Chaudhuri