- 基于组合设计方法的安全支付协议的设计与验证
- 1
- 《广西科学院学报》桂林电子科技大学计算机学院 李晓乐 董荣胜 吴光伟 出版年：2007
- 关键词：组合设计方法 协议原语 支付协议 原子性
- A^2IFM:一个基于免疫agent的移动网络入侵检测框架
- 2
- 《福建电脑》桂林电子科技大学计算机学院 雷蕾 蒋华 出版年：2008
- 关键词：移动网络 入侵检测 免疫AGENT
- 基于C3000过程控制器的麦汁充氧装置
- 3
- 《控制工程》桂林电子科技大学计算机学院;浙江中控自动化仪表有限公司市场部;燕京啤酒(桂林漓泉)股份公司计量室 叶腾芳 赵滔 陈浩 出版年：2007
- 关键词：麦汁充氧 C3000 过程控制器 PID控制 组态
- 基于组合设计方法的安全支付协议的设计与验证
- 4
- 广西计算机学会2007年年会 2007李晓乐 董荣胜 吴光伟 出版年：2007
- 关键词：组合设计方法 协议原语 支付协议 原子性
