...
机译:基于移动IP的WLAN中安全策略管理的形式验证框架
机译:基于正式时空RBAC模型的WLAN安全管理框架
机译:信任管理策略中安全属性的形式验证
机译:基于有色Petri网的模块化安全策略的形式化规范与验证
机译:具有可重配置硬件加速功能的基于移动IP的WLAN安全管理框架
机译:移动安全性:一种系统工程框架,用于通过策略管理和技术的结合来实现自带设备(BYOD)安全性。
机译:移动Ad Hoc网络中基于移动性的组播安全密钥管理技术。
机译:基于移动Ip的WLaN安全策略管理的形式化验证框架
机译:信任管理政策中安全属性的形式化验证