排序方式: 共有10条查询结果,搜索用时 15 毫秒
1
1.
2.
3.
进程演算通常用来研究交互式反应系统,其中的互模拟方法是用来形式化验证系统属性的重要途径.首先扩展了进程演算中的Spi演算,并将其应用于形式化描述网络安全协议--Kerberos协议的安全属性.为了验证该协议所声称的安全属性,引入了Spi演算中环境敏感互模拟的方法,即两个系统与环境发生交互过程中是否互模拟.通过采用该互模拟关系对Kerberos协议两个安全属性--可认证性和保密性--的证明,发现其可认证性是可靠的,而保密性存在一个可能的漏洞.最后,指出了基于互模拟的安全协议形式化验证方法今后值得进一步研究的方向. 相似文献
4.
5.
本文针对目前老旧房屋建成使用年份较早,线路老化十分严重,极易引发电气火灾的现状,结合可见光传感器、红外传感器和电磁感应装置,设计了一套室内输电线路热老化监测系统.电磁感应装置用于探测墙体内输电线缆的位置,红外传感器采用多点测温的方式监测墙体内导线或配电箱内导线的温度,可见光传感器用于监测点视频监控和对异常部位拍摄照片.如果发现数据异常等问题,本装置通过以太网通信模块将异常数据和照片传输至上位机.用户可以通过手机APP或PC客户端查看当前监测点温度、当前监测点实时视频监控和设置温度及电磁力阈值.一旦监测温度和电磁力数据超过阈值,系统将发出线路老化预警,用户可以收到手机APP和PC客户端的报警推送和异常部位的图片信息,及时处理老化线缆,避免因线路老化引发电气火灾. 相似文献
6.
7.
9.
10.
1