排序方式: 共有105条查询结果,搜索用时 0 毫秒
1.
针对物联网通信协议安全性不足和使用非形式化方法进行分析时容易出现错误的问题,提出了一种物联网安全通信协议,建立了协议主体模型和攻击者模型,采用通信顺序进程CSP的形式化方法对协议模型进行了分析。该通信协议对传送的信息进行加密,采用的加密方式是散列函数结合异或运算。协议主体进行了相互认证,认证服务器为协议主体通信分配了会话密钥,解决了读写器非法扫描和信息安全传送的问题。利用故障发散改进检测器(FDR)对该协议模型CSP进程进行了检测,结果表明:该协议主体进行了相互认证,会话密钥是安全的,所提出的物联网通信协议是安全可靠的,CSP方法用于分析协议的安全性是可行的。 相似文献
2.
3.
4.
为了实现家庭设施的智能化控制,提出了应用物联网技术的智能家居系统设计方法,综合运用计算机网络、无线遥控、视频监控、视频编码与传输、电器控制等技术,以工控PC主板为核心,插入视频采集卡,应用设计的计算机软件进行MPEG4编码实现了视频录像功能,再将编码后的数据传送到网络或手机上,实现了远程视频监控.采用STC89C51单片机,将无线接收模块、无线发射模块、电话模块连接起来,并通过串口与PC主板连接,从而实现了报警信息采集、智能家居控制功能.通过协议转发器,将无线控制信号转发为红外控制信号,实现了对空调、电视等设备的控制,达到防盗监控、视频录像、远程视频监控、远程控制等诸多功能. 相似文献
5.
通过应用实例研究了如何用Casper/FDR和串空间两种分析方法对通信协议进行形式化分析:用Casper/FDR对协议的有穷状态进行穷举验证,当发现协议漏洞时会自动给出攻击的迹,但是此方法会产生状态爆炸的问题;串空间方法正好可以解决状态爆炸问题,用串空间对协议的各种状态进行证明,但是如果发现了协议漏洞,该方法不能给出攻击者的迹。 相似文献
6.
通过对DES加密原理的分析,推导出了DES的算法公式,通过对算法中核心部分的数学分析和化简,借助Verilog语言与C语言编程以及EDA设计软件的帮助,实现了DES算法的FPGA条件下的重构设计,同时对密钥的动态管理提出了新的设计方案。最后,通过对设计结果的功能仿真和测试分析,论证了整个设计过程的正确性。 相似文献
7.
为了提高嵌入式系统内存动态分配效率,在分析经典内存分配算法和马尔可夫链预测原理的基础上,提出了一种嵌入式系统内存预测分配算法.该算法融合聚类分析法,利用内存分配的转移量统计信息及其概率矩阵对嵌入式系统内存动态分配进行预测.在实现中采用轻量级预测线程预测下一次申请的内存块大小,减少内存动态分配时等待内存创建的时间.通过增加预测线程的μC/OS-Ⅱ系统和未增加预测线程的μC/OS-Ⅱ系统进行对比实验,实验结果表明了该算法的可行性和高效性. 相似文献
8.
嵌入式智能家电远程控制系统设计 总被引:3,自引:0,他引:3
设计一种基于嵌入式系统的电话智能遥控家用电器装置。该装置作为一种附件嵌入到电话机中,具有主人手机号码预存识别、密码保护、语音提示操作系统和家电智能控制等功能,实现了家用电器远程智能控制的目的。本文简单地分析本装置的国内需求状况和市场开发前景;提出该装置的具体硬件和软件设计方法。 相似文献
9.
10.