计算机数据通信系统的测试和故障查找方法

本文将计算机数据通信系统复杂的测试划分为简单的模拟、数字及规程3类测试,并详细地叙述了它们的测试方法及故障查找技术,在调试及维修此系统时运用这些技术可大大地提高系统的可用性.     

Identity-based proxy multi-signature applicable to secure E-transaction delegations

To enhance the robustness of a proxy multi-signature scheme and improve its efficiency,a novel proxy signature paradigm is proposed referred to as identity-based proxy multi-signature(IBPMS).In this paradigm,multiple proxy signer candidates are employed to play a role of the single proxy signer in the existing model.A provably secure IBPMS scheme is presented which requires only one round broadcast operation.Performance analysis demonstrates that the new scheme outperforms the existing multi-signature schemes in robustness and communication.These properties are rendered to our IBPMS scheme as a more practical solution to secure e-transaction delegation applications of proxy signatures.     

基于粒子群算法优化最小二乘支持向量机的网络安全态势评估

为了提高网络安全态势评估的准确性,提出一种基于最小二乘支持向量机和粒子群优化算法的网络安全态势评估模型.通过分析参数对最小二乘支持向量机性能的影响,并采用粒子群优化算法选择模型参数,建立网络安全态势评估模型,最后采用仿真对比实验测试模型的有效性和优越性.结果表明,本文模型获得理想的网络安全态势评估结果,可以为网络管理人员提供有价值的参考信息.     

适于云计算的并行RAM程序的函数加密方案

针对云计算环境下的现有函数加密方案难以有效利用并行计算能力进行大数据运算的问题,提出了一种并行随机存取计算模型程序的函数加密方案,允许数据拥有者一次性传输加密数据,获得授权的云服务提供者利用其并行计算集群有效计算大量加密数据。该方案将混淆并行随机存取计算模型中的密码原件作为黑盒使用,将并行随机存取计算模型程序硬编码于电路中。并采用现有的基于电路模型的函数加密方案对该电路生成密钥,从而转化为并行随机存取计算模型程序的函数加密方案。通过理论分析该方案的时间效率相对原有并行算法仅有多项式时间的额外负载,并给出了该函数加密方案的不可区分性安全性证明。     

当前图书采访模式下“时间差”问题浅析

在当前的图书采访模式下,＂时间差＂问题是最突出、最迫切需要解决的问题。就当前主要的采访模式进行了阐述,分析了＂时间差＂问题出现的原因,并根据工作经验提出了解决＂时间差＂问题的措施。     

以危险方法危害公共安全罪的特征分析——兼析危险驾驶肇事的刑法评价

对以危险方法危害公共安全罪的特征进行分析,并在此基础上进一步考量危险驾驶肇事的案件是否适用以危险方法危害公共安全罪。认为虽然以危险方法危害公共安全罪的外延是不明确的,但其核心属性是可以确定的。以刑法规范评价的视角,用本罪主客观特征考量危险驾驶肇事的性质,可见危险驾驶行为通常不属于本罪的"危险方法",危险驾驶肇事的主观心态通常不是故意,因而危险驾驶肇事的案件通常不适用本罪。     

网络间谍与中国国家安全研究

随着网络技术的迅猛发展及其在社会生活各个领域的广泛运用,人们对信息安全的认识得到了进一步深化和发展,信息安全逐渐成为国家安全中的一个突出热点。在网络信息时代,如何维护国家安全已经成为各国面临的重要课题。目前我国网络安全面临严峻的挑战,主要表现在信息产业和信息情报领域,网络泄密是信息安全问题的重要表现。其中网络间谍对国家信息安全危害极大,因此在新的时代背景下我们应当重新审视网络间谍对国家安全的影响。     

基于Statecharts的面向方面软件设计与验证

为了及时解决由于关注点横切所产生的＂代码交织＂与＂代码散布＂问题,提出了一种基于Statecharts的面向方面软件设计方法,并利用线性时态逻辑验证了编织过程的有效性。此外,为了验证方面Statecharts的介入是否破坏了基本Statechart的相关行为,引入扩展层次自动机解释面向方面Statechart的操作语义...