保温瓶瓶胆银层厚度测量

研制成一种利用涡流原理测量银层厚度的仪器。探讨了若干实际测量保温瓶瓶胆银层厚度时出现的问题。     

基于不同口令认证的跨域组密钥协议

近年来关于基于口令认证的密钥交换协议(PAKE)进行了广泛的研究,基于口令认证的组密钥交换协议已成为安全协议研究的焦点问题.Byun等人也先后提出了基于不同口令认证的跨域环境下端到端的两个客户之间的PAKE(C2C-PAKE)密钥交换协议.然而在实际应用中,往往还需要在多个客户或客户组之间建立安全的通信信道.因此,提出了基于不同口令认证的跨域组间密钥交换协议,该协议将Zhiguo Wan等人所提出的nPAKE+协议扩展到了两个域,实现了两个域中的客户组在域服务器的协助下,建立域间共享的组会话密钥的过程,并给出了安全分析和执行效率的代价分析.     

火灾探测技术的现在和未来

如果说我们现在比以往更加关心未来的火灾探测系统的话,那未,现行系统的工作方式不够令人满意这一点仅仅是其中的一部分原因。其主要原因是我们当前所面临的这些问题已经发展到了要崭新技术和方法来解决的地步。这里所说的崭新技术和方法,不     

TCBV:一种构件时序行为建模与相容性验证工具

利用形式化方法对复杂实时构件系统的时序行为进行建模与验证对于提高安全攸关实时构件系统的正确性、可靠性与安全性具有重要意义。介绍了基于时间行为协议的构件时序行为的形式化建模和相容性验证方法,给出了时间行为协议建模与相容性验证工具TCBV的系统架构与功能模块。TCBV应用方便,能够实现实时构件时序行为模型的图形化表示,并可对复杂交互行为的相容性进行自动验证。结合应用实例,介绍了如何利用TCBV对复杂实时构件系统的时序行为进行建模和验证。最后,将TCBV与其它相关工具进行了比较。     

根据电线的显微结构分析火灾的原因

火场勘察时,常常会遇到这样一种情况:在火灾现场能够找到电气线路熔断。 火场中发现的导线熔断,可能因下列原因所致:电气导线因火灾火焰高温加热而熔断,或电气导线因电气线路处于事故状态造     

保温瓶瓶胆真空度与保温性能的关系

观察了保温瓶瓶胆在动态真空系统中热损失与抽气压强P之间的关系。 实验发现瓶胆保温度T-T_0随时间t呈指数衰减。从对数坐标图中求出该衰减系数或温度下降率α,得出α随P的变化规律。结果指出: (1)当压强P大于 10~(-2)乇时,α与 P关系不大; (2)当压强P在10~(-3)乇数量级时,α随P成正比减小; (3)当压强P小于10~(-3)乇时,α与P基本无关。 结合气体分子热传导公式,讨论了实验结果。     

一个改进的云存储数据完整性验证方案

在云计算环境中,客户将数据存储在不可信的云存储服务器上.如何在本地没有数据副本的情况下,高效地对客户存储的远程数据进行完整性验证是一个亟待解决的问题,针对此问题已相继提出一系列解决方案.提出已知证据伪造攻击的概念,即拥有一定数量证据的敌手可以伪造新的合法证据.指出已有的一些数据完整性验证方案无法抵抗已知证据伪造攻击.利用基于等级的认证跳表提出一个改进方案,该方案支持完全数据更新和公开审计.