胡香冬
【姓名】 胡香冬
【职称】
【研究领域】 计算机软件及计算机应用;互联网技术;
【研究方向】 人工智能
【发表文献关键词】 BAN-Yahalom协议,影子模式,SPIN,相图,模型检测,定性仿真,设计模式,非线性动力系统,密码协议,加密数据,建模,非线性系统,测试脚本,参与协议,面向对象测试,环状路,变量,平衡点,密钥,...
【工作单位】 中国科学技术大学
【曾工作单位】 中国科学技术大学;
【所在地域】 合肥
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/3 3 3 0 33 508
中国期刊全文数据库    共找到3篇
[1]涂永忠,邵晨曦,蔡维德,胡香冬.影子模式:一种新的用于测试的设计模式[J]计算机研究与发展.2004,(01)
[2]邵晨曦,胡香冬,白方周.非线性系统的定性相图构造[J]系统仿真学报.2004,(09)
[3]邵晨曦,胡香冬,熊焰,蒋凡.密码协议的SPIN建模和验证[J]电子学报.2002,(S1)
更多