王巧丽
【姓名】 王巧丽
【职称】
【研究领域】 电信技术;计算机软件及计算机应用;
【研究方向】
【发表文献关键词】 密码协议,模型检测,SPIN,Promela,通信对象,公钥密码,通道,Protocol,消息,Schro,有限状态,语言建模,入侵者,数据包,运行,进程,分析验证,动作,公钥加密,主体参与,
【工作单位】 贵州大学
【曾工作单位】 贵州大学;
【所在地域】 贵州贵阳
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/2 1 1 1 51 1704
中国期刊全文数据库    共找到1篇
[1]龙士工,王巧丽,李祥.密码协议的Promela语言建模及分析[J]计算机应用.2005,(07)
更多
中国优秀硕士学位论文全文数据库    共找到1篇
[1]王巧丽.SPIN模型检测的研究与应用[D].贵州大学.2006
更多