搜索筛选:
搜索耗时3.3010秒,为你在为你在102,285,761篇论文里面共找到 2 篇相符的论文内容
发布年度:
[期刊论文] 作者：杨翰文, 龙士工, 谢光颖,,
来源：计算机工程与设计 年份：2014
为了减少网络程序模型检测过程中产生的系统状态数目,提出了一种架构感知偏序规约方案。针对目前模型检测器JPF内置的偏序规约机制不能够识别出线程启动时产生的冗余状态问题...
[期刊论文] 作者：谢光颖,龙士工,杨翰文,,
来源：计算机应用研究 年份：2014
公钥数字签名方案中验证方是低运算能力的移动智能设备时,验证方在验证过程中需要借助于服务器来辅助验证。SAV(server-aided verification)协议是一个对无线移动终端实现辅助计算和签名验证的协议,利用有限状态机对该协议中签名方、验证方以及服务器进行形式化......
相关搜索：
