电脑体验，效果更佳

郭云川图谱-计算机领域：

相关人员

蔡国永 董荣胜 彭勋 古天龙 文英 陈大伟

研究领域

原子性 安全支付协议 时间戳服务器 安全性 Ad Hoc网络 电子商务协议 符号模型检验 公平性 SMV 符号模型验证 安全协议 机密性 模型检测 动态策略管理 NetBill协议 非否认性 形式化方法 SEP 时限责任 随机优化控制策略 SPIN

所属机构

桂林电子工业学院计算机系 桂林电子科技大学计算机系 中国科学院计算技术研究所 广西桂林

标签云