Management; Security; Software tools; Access; Algorithms; Control; Global; Polynomials; Systems analysis; Language; Time; Models; Policies; Automation;
机译:基于可预测信息安全的组织管理上下文感知信任模型:统计分析
机译:模型检查在软件系统破坏性测试与分析中的应用
机译:模型检查在软件系统破坏性测试与分析中的应用
机译:应用模型检查信任管理中的安全分析
机译:信任管理环境中的安全策略分析。
机译:AST:时变网络的活动-安全-信任驱动建模
机译:将模型检查应用于信任管理中的安全性分析