退出
我的积分:
中文文献批量获取
外文文献批量获取
唐郑熠; 李祥;
贵州大学计算机软件与理论研究所;
贵州;
贵阳;
550025;
Dolev-Yao攻击者模型; 形式化描述 ; 模型检测 ; SPIN ; NSPK; A(0);
机译:使用Dolev-Yao入侵者模型自动分析投票系统
机译:PVS的形式化以证明Dolev-Yao级联协议模型的安全性所必需的平衡属性
机译:超越Dolev-yao模型:使用车辆通信的应用的现实应用专用攻击者模型
机译:使用隐马尔可夫模型的入侵检测系统的攻击者意图发现层
机译:不确定性下的安全性:与随机攻击者相比自适应攻击者对防御者的挑战更大
机译:Dolev-Yao攻击者模型公平约束的复杂性
机译:通过对话形式化描述的模型检验,交互系统的词汇,句法和语义属性的V和V.
机译:一种开发和实现模型的方法,该模型用于形式化描述多组件分布式协作系统,特别是智能柔性生产自动化系统
机译:使用合适的本体从功能/模态数据重构过程的形式化描述模型的方法,系统和软件装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。