Sciweavers

3821 search results - page 125 / 765
» A Security Model for Aglets
Sort
View
JCS
2010
64views more  JCS 2010»
13 years 6 months ago
Finite models for formal security proofs
Jean Goubault-Larrecq
MONET
2010
85views more  MONET 2010»
13 years 6 months ago
A Secure Mechanism Design-Based and Game Theoretical Model for MANETs
Abderrezak Rachedi, Abderrahim Benslimane, Hadi Ot...
ASWEC
2006
IEEE
14 years 1 months ago
Formal Verification of the IEEE 802.11i WLAN Security Protocol
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...
Elankayer Sithirasenan, Saad Zafar, Vallipuram Mut...