首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   1篇
  免费   1篇
自动化技术   2篇
  2010年   1篇
  2009年   1篇
排序方式: 共有2条查询结果,搜索用时 0 毫秒
1
1.
在以Lu&;Smolka对SET协议支付过程的简化模型为研究对象的情况下,进行形式化建模和有限状态机模型。同时应用CTL对相应的安全性质进行形式描述,并在网络环境被入侵者控制的假设下,利用SMV分析了协议的认证性、保密性和完整性,发现攻击并对该攻击所产生的影响进行了讨论。最后修改其协议模型对改进后的协议进行分析和检验,说明了SET协议独具特色的双重签名在整个协议运行中至关重要。  相似文献   
2.
基于AD73360的多功能网络电能表设计   总被引:1,自引:0,他引:1  
介绍了基于AD73360芯片的多功能网络电能表的系统总体设计。通过FPGA与AD73360芯片相连接,由FPGA给AD73360芯片写控制字,然后再对采集的数据进行处理。重点介绍了基于AD73360的多功能网络电能表的硬件设计,同时也介绍了FPGA的VHDL设计。本设计具有电力参数监测、电能质量分析、分时段电能计量、故障录波和网络远程抄表等功能。  相似文献   
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号