检索结果-维普期刊中文期刊服务平台

物联网中安全通信协议的形式化分析被引量：6: 1; 作者吴名欢程小辉《桂林理工大学学报》 CAS 北大核心 2013年第2期333-338,共6页; 针对物联网通信协议安全性不足和使用非形式化方法进行分析时容易出现错误的问题,提出了一种物联网安全通信协议,建立了协议主体模型和攻击者模型,采用通信顺序进程CSP的形式化方法对协议模型进行了分析。该通信协议对传送的信息进行加... 展开更多; 关键词物联网形式化分析安全协议通信顺序进程; 在线阅读下载PDF 职称材料

Casper/FDR和串空间在物联网通信协议中的形式化分析被引量：4: 2; 作者吴名欢程小辉《桂林理工大学学报》 CAS 北大核心 2014年第2期338-344,共7页; 通过应用实例研究了如何用Casper/FDR和串空间两种分析方法对通信协议进行形式化分析:用Casper/FDR对协议的有穷状态进行穷举验证,当发现协议漏洞时会自动给出攻击的迹,但是此方法会产生状态爆炸的问题;串空间方法正好可以解决状态爆炸... 展开更多; 关键词 CASPER FDR 协议形式化分析方法串空间; 在线阅读下载PDF 职称材料

基于COM的OPC技术及其应用程序的开发被引量：2: 3; 作者张烈平吴名欢周德俭《桂林工学院学报》 2004年第3期356-359,共4页; 介绍了基于COM的OPC技术、OPC的工控体系结构和OPC数据存取规范的定制接口,分析了OPC数据存取规范的自动化接口对象模型.以OPC数据存取自动化接口规范(2 0)为蓝本,给出了利用Excel的VBA实现一个趋势图的应用程序的详细步骤和具体程序.; 关键词 COM OPC 接口标准; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	物联网中安全通信协议的形式化分析	吴名欢程小辉	《桂林理工大学学报》 CAS 北大核心	2013	6	在线阅读下载PDF 职称材料
2	Casper/FDR和串空间在物联网通信协议中的形式化分析	吴名欢程小辉	《桂林理工大学学报》 CAS 北大核心	2014	4	在线阅读下载PDF 职称材料
3	基于COM的OPC技术及其应用程序的开发	张烈平吴名欢周德俭	《桂林工学院学报》	2004	2	在线阅读下载PDF 职称材料