排序方式: 共有58条查询结果,搜索用时 15 毫秒
1.
描述了一种通用的可信计算软硬件接口,包括软件接口、硬件接口和一套软件与硬件之间的通信协议.该接口适用于数据加密、数字签名、消息认证等各种算法,符合可信计算中加密、签名与认证操作必须由硬件实现的要求.它以相对较小的性能损失为代价带来了整个模块的高可靠性、可移植性和可扩展性,可以极大地方便可信计算软件与硬件的开发. 相似文献
2.
3.
关于正形置换多项式的注记 总被引:5,自引:1,他引:4
n为正整数,m为大于1的正整数,本文证明了当n≡0,1(mod m)时,F2^n上不存在2^m-1次正形置换多项式,并给出了该结果的几个推论:F2^n上不存在次数为3的正形置换多项式;n〉2时,F2^n上的4次正形置换多项式都是仿射多项式. 相似文献
4.
以定义事件驱动型系统需求的SCR(Software CostReduce)方法和时序逻辑为基础,提出了一种能够根据SCR方法与时序逻辑之间的语义联系和时序逻辑的推理能力有效地检查用SCR方法定义的事件驱动型系统的需求分析方法.为便于理解,还给出了一个简单的例子来介绍如何分析和检查用SCR方法定义的需求的有效性. 相似文献
5.
一种动态随机数发生器 总被引:1,自引:0,他引:1
构造了一种动态随机数发生器,将混沌和分组密码结合起来,先利用混沌的混迭特性产生伪随机比特流,然后利用分组密码杂化伪随机比特流,从而提高比特流的伪随机性;为了引入更多的熵,对分组密码的S盒的输入做系数可变的仿射变换.实验结果表明,此随机数发生器可以通过NIST随机套件测试. 相似文献
6.
新疆广播电视大学的网络教学平台是新疆发展远程教育的骨干力量,提供双语教学,能够满足绝大部分教学需求,但是在教学内容与平台智能方面还未实现精细化教学的目标,难以实现因材施教.本文针对上述问题,引入了个性化学习理论,在现有网络教学平台上设计网上课程个性化学习系统架构,并对系统中的资源建设与管理、个性化设计以及安全性机制进行了探讨.网上课程个性化学习系统可以在确保教学平台安全可信的前提下提高教学质量,有利于学生的个人发展. 相似文献
7.
8.
9.
动态符号执行是对程序进行安全性分析的重要技术.在动态符号执行过程中,存在着符号地址,系统调用,路径选择等问题.针对符号地址导致的别名分析问题,本文提出了一种基于约束的指针分析方法,对程序进行过程内的指向分析,并对指针分析过程引入约束条件,产生可以进行路径选择的测试用例,以提高指针分析的精度.在国内首款某型号商用编译器的开发过程中实现了该方法,实验结果表明,该方法可以准确地分析C语言测试用例,缩短用例测试的时间. 相似文献
10.
给出了一种利用演化计算对组合模型序列密码体制进行分析的方法.实验表明,用该演化计算方法对Geefe发生器和门限发生器进行分析时,算法复杂度比穷举法的复杂度低;该演化计算方法用于组合模型序列密码的分别征服攻击时,效率明显提高.因此演化计算分析方法是一种有效的序列密码分析方法. 相似文献