Login / Signup

A SAT Based Verification Framework for Wireless LAN Security Policy Management Supported by STRBAC Model.

Padmalochan BeraSoumya MaitySoumya Kanti GhoshPallab Dasgupta
Published in: CNSA (2010)
Keyphrases
  • management system
  • model checking
  • security policies
  • wireless lan
  • data processing
  • computer simulation
  • distance education