云南高校图书馆联盟文献共享服务平台- 检索结果

检索结果分析

检索条件："关键词=安全设计模式 "

共条记录，以下是1-1

全选清除导出

视图：

排序：

显示条数：

模式驱动的系统安全性设计的验证被引量：1: 《计算机工程与科学》2020年第7期1197-1207,共11页郑小宇刘冬梅杜益宁周子健邱玫媚朱鸿; 国家自然科学基金(61502233,61402229);江苏高校“青蓝工程”;中央高校基本科研业务费专项资金(30916011328);欧盟移动云计算FP7项目MONICA(PIRSES-GA-2011-295222)。; 随着万维网和移动计算技术的广泛应用,系统安全性得到了越来越多的关注,使用安全模式对系统安全解决方案进行设计并验证是提升系统安全性的一种有效途径。现有方法根据系统安全需求选择适用的安全模式,在此基础上将模式组合为系统的安...; 关键词：安全设计模式代数规约形式化验证模型检测

全选清除导出

共1页<1>