Sciweavers

3821 search results - page 125 / 765
» A Security Model for Aglets
Sort
View
88
Voted
TISSEC
2002
76views more  TISSEC 2002»
15 years 3 months ago
A model of OASIS role-based access control and its support for active security
Jean Bacon, Ken Moody, Walt Yao
JCS
2010
64views more  JCS 2010»
15 years 1 months ago
Finite models for formal security proofs
Jean Goubault-Larrecq
MONET
2010
85views more  MONET 2010»
15 years 1 months ago
A Secure Mechanism Design-Based and Game Theoretical Model for MANETs
Abderrezak Rachedi, Abderrahim Benslimane, Hadi Ot...
94
Voted
ICEIS
2010
IEEE
15 years 1 months ago
A Contract-based Event Driven Model for Collaborative Security in Financial Information Systems
Roberto Baldoni, Giorgia Lodi, Gregory Chockler, E...
129
Voted
ASWEC
2006
IEEE
15 years 9 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...