%0 Journal Article
%T 动态安全策略逻辑语言及安全属性验证问题的研究
%A 方滨兴
%A 殷丽华
%A 郭  莉
%A 包义保
%J -
%D 2013
%X 针对动态安全策略在策略表达、判决和验证等方面具有的重要意义，..
%K [SSML逻辑
%K 动态安全策略
%K 安全管理
%K 策略验证
%K 动态决策
%K 安全性分析
%K SSML logic
%K dynamic security policy
%K security management
%K verification
%K dynamic decision
%K security analysis]
%U http://crad.ict.ac.cn/CN/Y2013/V50/I5/932