检索结果-南通市图书馆

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

改进的基于属性的软件可信性度量模型

武汉大学学报（理学版） 2017年第2期63卷 151-157页

作者：陶红伟赵杰郑州轻工业学院计算机与通信工程学院河南郑州450002 郑州轻工业学院思想政治理论课教学研究部河南郑州450002

对基于属性的软件可信性度量需要满足的性质集进行了扩充,提出了一种改进的软件可信性度量模型,并通过证明其满足扩充后度量性质集对其进行了理论验证.相关工作比较表明相对于常用的两种基于属性的软件可信性度量模型以及作者之前所提出... 详细信息

对基于属性的软件可信性度量需要满足的性质集进行了扩充,提出了一种改进的软件可信性度量模型,并通过证明其满足扩充后度量性质集对其进行了理论验证.相关工作比较表明相对于常用的两种基于属性的软件可信性度量模型以及作者之前所提出的3个模型,该模型对扩充后的度量性质满足程度方面更优.

关键词：可信软件评估可信性度量性质公理化方法软件可信性度量

面向源代码可信证据的航天软件可信度量评估方法

在线全文

学校读者我要写书评

暂无评论

空间控制技术与应用 2021年第2期47卷 32-41页

作者：刘晗陶红伟陈仪香华东师范大学软件工程学院教育部软硬件协同设计技术与应用工程研究中心上海200062 郑州轻工业大学计算机与通信工程学院郑州450002

随着航天技术的迅猛发展,航天软件的功能越来越复杂,规模越来越大,对软件可信性的要求也越来越高.航天软件一旦失信,其带来的损失往往无法估量.从源代码证据入手,建立面向航天领域的嵌入式软件可信度量评估方法.结合航天领域特性,建立... 详细信息

随着航天技术的迅猛发展,航天软件的功能越来越复杂,规模越来越大,对软件可信性的要求也越来越高.航天软件一旦失信,其带来的损失往往无法估量.从源代码证据入手,建立面向航天领域的嵌入式软件可信度量评估方法.结合航天领域特性,建立了面向C语言代码的可信证据规范,该证据规范区分关键证据与非关键证据以及可信正证据和可信负证据;提出一种面向源代码可信证据的航天软件可信性度量模型和可信性分级模型;最后通过将所构建的评估方法应用于NASA开源软件Core Flight Executive的可信量化评估,评估结果表明本文所建立的可信量化评估方法具有良好的有效性和实用性.

关键词：源代码可信证据可信软件可信性度量软件分级

在线全文

学校读者我要写书评

暂无评论

公钥密码学中的二次多元多项式

公钥密码学中的二次多元多项式

作者：陶红伟华东师范大学

学位级别：硕士

由Wang等提出的MFE体制[1]已经被Ding等用SOLEs攻击方法攻破[2]。在本论文中我们给出了一种改进的MFE体制，其可以抵挡住这种攻击，同时如果选择恰当的参数其还可以抵挡住秩攻击和XL&Gr(o|¨)bner基攻击。 TTM体制由于其特殊的设计，加... 详细信息

由Wang等提出的MFE体制[1]已经被Ding等用SOLEs攻击方法攻破[2]。在本论文中我们给出了一种改进的MFE体制，其可以抵挡住这种攻击，同时如果选择恰当的参数其还可以抵挡住秩攻击和XL&Gr(o|¨)bner基攻击。 TTM体制由于其特殊的设计，加密和解密都很有效。设计该体制的实现的关键在于构造一个次数为m≥2的多项式Q(y1，…，yt)和一个关于x，…，x的二次多项式集合{q1，…，qt}使得Q(q1，…，qt)为关于x，…，x二次多项式。我们称Q(q1，…，qt)为Q类型函数。在[3]中给出了次数为2(k≥3)的Q类型函数的对称构造方法。在本论文中我们给出了基于该函数的一个TTM体制的实现，同时我们用类似于Ding和Hodge在[4]中提出的方法攻破了该实现。

关键词： MQ-体制 MFE密码体制 HOLEs攻击 TTM密码体制

基于申威众核处理器的Office口令恢复向量化研究

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

计算机科学 2022年第S02期49卷 745-749页

作者：李辉韩林陶红伟董本松青岛农业大学经济学院山东青岛266109 郑州大学河南省超级计算中心郑州450000 郑州轻工业大学计算机与通信工程学院郑州450002 郑州经贸学院计算机与人工智能学院郑州451191

为了满足农业农村大数据应用中数据安全的需求,文章结合Office口令恢复中的计算热点问题,以申威众核处理器为硬件平台,提供了一种向量化密码解算方法。SHA-1和AES函数的解析是方法的核心部分。首先,利用申威众核处理器的特点,对其进行... 详细信息

为了满足农业农村大数据应用中数据安全的需求,文章结合Office口令恢复中的计算热点问题,以申威众核处理器为硬件平台,提供了一种向量化密码解算方法。SHA-1和AES函数的解析是方法的核心部分。首先,利用申威众核处理器的特点,对其进行自动向量化研究;其次,通过依赖性分析描述了明文块之间手动向量化过程,给出方法理论层面的可行性结论;最后,为验证方法的正确性和有效性,将Office各个版本的加密文档作为用例,开展多重数据测试,测试结果与传统的口令恢复工具和开源的Hashcat口令恢复工具进行对比。实验结果表明,方法能够有效地提高口令恢复的性能。

关键词：大数据数据解密 SHA-1 AES 向量化

在线全文

学校读者我要写书评

暂无评论

实现农民增收扩大农村消费拉动经济增长

企业导报 2013年第19期 22-23页

作者：陶红伟河南省濮阳市对外开放服务办公室

农民增收,消费结构升级对经济增长的带动,是持久的、不可估量的。解决农民增收的问题,是中国经济发展与转型的最大瓶颈,是拉动经济增长的主力军。

关键词：农民增收土地流转劳务输出生态园股份合作

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

论企业文化的核心竞争力

科学咨询(科技·管理) 2012年第8期 16-17页

作者：陶红伟濮阳市商务局

任何一个企业都具有特定的制度规范并具有一定的强制性,在制度规范的约束下,乃至更深层次企业文化的潜移默化下,人的心理和行为也会受到一定的影响,其不良的心理和行为在一个良性的企业文化的打磨下,可以得到矫正和重塑;反之一个健全人... 详细信息

任何一个企业都具有特定的制度规范并具有一定的强制性,在制度规范的约束下,乃至更深层次企业文化的潜移默化下,人的心理和行为也会受到一定的影响,其不良的心理和行为在一个良性的企业文化的打磨下,可以得到矫正和重塑;反之一个健全人格和品性优良的人,到了一个不具备良好企业文

关键词：企业企业管理核心竞争力核心能力

深低温停循环下主动脉夹层手术围术期脑保护的研究进展

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

心血管外科杂志（电子版） 2015年第3期4卷 38-41页

作者：陶红伟史宏伟南京医科大学附属南京医院(南京市第一医院暨南京市心血管病医院)麻醉科 210006

主动脉夹层是心血管外科最具有挑战性的手术,若未经干预,48 h内患者死亡率高达50%[1]。急诊手术是主动脉夹层的主要干预措施。随着医疗技术发展,主动脉夹层术后死亡率和并发症发生率显著下降,但术后神经系统并发症发生率仍然很高。本文... 详细信息

主动脉夹层是心血管外科最具有挑战性的手术,若未经干预,48 h内患者死亡率高达50%[1]。急诊手术是主动脉夹层的主要干预措施。随着医疗技术发展,主动脉夹层术后死亡率和并发症发生率显著下降,但术后神经系统并发症发生率仍然很高。本文主要针对深低温停循环下主动脉夹层手术围术期脑保护的研究进展作一综述。

关键词：动脉瘤,夹层主动脉循环骤停,深低温诱发

在线全文

学校读者我要写书评

暂无评论

1例梗阻性化脓性胆管炎致感染性休克的护理

中国护理管理 2013年第S1期13卷 144-146页

作者：陶红伟张萍林慧明解放军第302医院肝胆外科一中心二科北京市100039

梗阻性化脓性胆管炎在中国是一种较为常见的胆管疾病,尤其西南地区发病率很高,占收治胆道疾病的1/5~1/4,男女患者的发病率相近。发病的高峰年龄为40~49岁,其病死率为4.5%~43.5%,国外为20.0%~87.5%,仍是胆道良性疾病的首要死亡原因。

关键词：感染性休克胆管疾病地区发病率高峰年龄死亡原因全身营养状况休克病人中心静脉压绝对卧床休息腹壁紧张度

关注体育课堂教学细节,构建合理体育课堂常规

在线全文

学校读者我要写书评

暂无评论

考试周刊 2013年第88期 118-118页

作者：陶红伟南京市江宁实验小学

体育课堂常规是体育课中师生共同遵守的基本规范和要求,是体育课的基本内容之一。在日常教学中,如果学生违反教学常规,教师不加以制止,必然影响课堂教学成果,甚至会形成安全隐患,所以教师必须时刻关注教学细节,让学生养成良好的学习习... 详细信息

体育课堂常规是体育课中师生共同遵守的基本规范和要求,是体育课的基本内容之一。在日常教学中,如果学生违反教学常规,教师不加以制止,必然影响课堂教学成果,甚至会形成安全隐患,所以教师必须时刻关注教学细节,让学生养成良好的学习习惯。本文结合日常体育课课堂常规中的一些问题进行了分析,并提出了如何关注教学细节的一些见解。

关键词：课堂常规教学细节体育课堂