SSML逻辑相关硕士博士期刊学术论文 - 搜论网

SSML逻辑相关论文

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

针对动态安全策略在策略表达、判决和验证等方面具有的重要意义，提出了一种可用于动态安全策略表达、决策和验证的逻辑系统SSML．首先......

期刊

SSML逻辑动态安全策略安全管理策略验证动态决策安全性分析 SSML logic dynamic security policy security m

看过本文同时还关注