动态安全策略逻辑语言及安全属性验证问题的研究

Keywords: [SSML逻辑, 动态安全策略, 安全管理, 策略验证, 动态决策, 安全性分析, SSML logic, dynamic security policy, security management, verification, dynamic decision, security analysis]

Full-Text   Cite this paper   Add to My Lib

Abstract:

针对动态安全策略在策略表达、判决和验证等方面具有的重要意义，..

Full-Text