两个安全第一思想模型的比较分析

针对投资者可能的投资需求确立了基于安全第一思想下两个相近的投资目标:1、极大化投资末期总收益率超过给定水平α的概率;2、极小化投资末期总收益率与给定水平α的距离.并分别就这两个目标建立了优化决策模型,得到了模型解析解,最后对两个模型结果进行了比较分析和经济解释.     

Multiparty Quantum Secret Sharing of Key Using Practical Faint Laser Pulses

Based on a bidirectional quantum key distribution protocol [Phys. Rev. A 70 (2004)012311], we propose a (m-1, m-1)-threshold scheme of m (m≥3)-party quantum secret sharing of key by using practical faint laser pulses. In our scheme, if all the m-1 sharers collaborate, they can obtain the joint secret key from the message sender. Our scheme is more feasible according to the present-day technology.     

无线局域网的安全解决方案

本文描述了无线局城网中的认证和密钥管理协议,CCMP认证加密协议。IEEE 802.11依赖于IEEE 802.1x 来支持认证和密钥管理服务,更进一步的,四次握手协议用来建立分组传输的数据加密密钥。IEEE 802.11i也定义了认证者更新一个组暂时密钥(GTK)给请求者的组密钥握手,这样请求者可以接收广播消息。     

地球站小信号系统的人性化设计

小信号系统是地球站系统链路中信号调度最频繁、功能要求最多的系统,人性化的设计会使这个系统变得更为高效、有序、安全,在满足功能需求的同时,更具有实用性、通用性和扩展性。     

防水墙技术初探

防水墙技术是一种防止内部信息向外扩散的技术。论文给出了防水墙的定义及功能特性,并通过对防水墙系统WaterBox的介绍分析,探讨了利用防水墙技术构筑内网信息安全的可行性及发展趋势。     

智能化使汽车更安全

新的特性必须更加智能,在增加价值的同时不会分散驾驶者的注意力和增加事故的风险。     

质检总局推进全国产品质量电子监管网工作

4月8日,围绕加强产品质量安全工作,健全产品质量安全监管体系这一主题,国家质检总局在京召开了全国产品质量电子监管网推进工作会议。总局副局长蒲长城出席会议并讲话。蒲长城强调,电子监管网推进工作是实现以全     

可信计算技术对操作系统的安全服务支持

研究安全操作系统利用可信计算技术提供对信息保密性及完整性保护的方案．依据TCG(可信计算组织)提出的规范，对其核心部分TPM(可信计算模块)在高安全等级操作系统中的安全服务级支持做原理描述．基于规范中提出的密封存储技术。结合操作系统的安全需求和实现环境。提出利用TPM对安全操作系统应用层提供安全支撑的初步可行方案，并提出依此实施DTE安全策略的方法，显示了此方案的灵活与多样性．     

HI—V族化合物半导体的高能重离子辐照缺陷研究·

用正电子湮没寿命谱技术研究了2.4×1O15/cm2、2.2×1016/cm2注量的85MeV19F离子辐照N型GaP和1.6×1016/cm 2注量的85MeV19F离子辐照P型InP所产生的辐照缺陷.结果表明:两种注量辐照在GaP中均产生较高浓度的单空位.其浓度随着辐照注量的增大而增加;辐照也在InP中产生较高浓度的单空位.     

3G认证和密钥分配协议的形式化分析及改进

介绍了第三代移动通信系统所采用的认证和密钥分配(AKA)协议,网络归属位置寄存器/访问位置寄存器(HLR/VLR)对用户UE(用户设备)的认证过程和用户UE对网络HLR/VLR的认证过程分别采用了两种不同的认证方式,前者采用基于"询问-应答"式的认证过程,后者采用基于"知识证明"式的认证过程.使用BAN形式化逻辑分析方法分别对这两种认证过程进行了分析,指出在假定HLR与VLR之间系统安全的前提下,基于"知识证明"式的认证过程仍然存在安全漏洞.3GPP采取基于顺序号的补充措施;同时,文中指出了另一种改进方案.