边培泉
【姓名】 边培泉
【职称】
【研究领域】 互联网技术;
【研究方向】
【发表文献关键词】 状态穷举,BAN逻辑,安全协议,形式化验证技术,定理证明,验证技术,形式化,形式化验证,模型检查,协议,信仰,参考规,协议验证,逻辑,有限状态系统,形式化技术,逻辑技术,模态逻辑,属性,公理,
【工作单位】 甘肃工业大学
【曾工作单位】 甘肃工业大学;
【所在地域】 甘肃兰州
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/1 0 0 0 6 131
中国期刊全文数据库    共找到1篇
[1]余冬梅,边培泉,冯涛.安全协议中的形式化验证技术[J]微机发展.2003,(11)
更多