检索结果-南通市图书馆

面向工程教育专业认证的软件工程专业培养方案持续改进与实践

在线全文

学校读者我要写书评

暂无评论

科技风 2024年第5期 40-42页

作者：宋和平韩飞林琳贾洪杰宋香梅江苏大学计算机科学与通信工程学院江苏镇江212013

以江苏大学计算机科学与通信工程学院软件工程专业为例,针对目前软件工程专业培养方案的持续改进问题,介绍在工程教育专业认证中围绕培养目标、毕业要求、课程体系等方面的实践举措,希望培养出适应社会发展的软件工程专业高素质创新人才。

关键词：工程教育专业认证培养方案持续改进软件工程

维普期刊数据库博看期刊

在线全文

学校读者我要写书评

暂无评论

用于信息流分析的信息流树结构

江苏大学学报（自然科学版） 2005年第5期26卷 433-436页

作者：鞠时光宋香梅江苏大学计算机科学与通信工程学院江苏镇江212013

在根据系统源代码进行隐通道搜索的分析方法基础上,针对目前隐通道搜索方法仍然采用人工分析系统中的语句信息流所带来的工作量巨大问题,将已提出的较为简单的高级语言语句信息流规则加以扩展,依据扩展得到的语句信息流规则,构造出一种... 详细信息

在根据系统源代码进行隐通道搜索的分析方法基础上,针对目前隐通道搜索方法仍然采用人工分析系统中的语句信息流所带来的工作量巨大问题,将已提出的较为简单的高级语言语句信息流规则加以扩展,依据扩展得到的语句信息流规则,构造出一种可以描述并记录语句信息流且易于实现的二叉树结构——信息流树,给出自动分析信息流的遍历信息流树算法,并以自行开发的VISTA空间数据库系统中的一段源代码为例,通过构造并遍历其信息流树,说明用信息流树描述信息流并进行信息流分析的有效性和正确性.

关键词：信息流树隐通道信息安全信息流信息流规则

在线全文

学校读者我要写书评

暂无评论

基于源代码的隐通道搜索工具的研究及实现

基于源代码的隐通道搜索工具的研究及实现

作者：宋香梅江苏大学

学位级别：硕士

在上世纪七十年代以前,为保证计算机系统中的信息安全性,自主存取控制和强制存取控制策略在计算机多安全级系统中得到了广泛的应用。然而,实施了这两种策略后的计算机系统仍然存在着安全隐患,其中就包括隐通道问题。本文在综述隐通道... 详细信息

在上世纪七十年代以前,为保证计算机系统中的信息安全性,自主存取控制和强制存取控制策略在计算机多安全级系统中得到了广泛的应用。然而,实施了这两种策略后的计算机系统仍然存在着安全隐患,其中就包括隐通道问题。本文在综述隐通道分析方法和目前研究现状的基础上,解决了系统:源代码中信息流分析工作的自动化进行问题,并与课题组已经开发的共享资源矩阵搜索方法相结合,提出了实现一个基于系统源代码的隐通道搜索工具的研究思想。论文首先讨论了隐通道的形式化定义:然后给出了基于系统源代码的信息流自动分析工具和隐通道搜索工具的设计方案;接下来详细讨论信息流分析工具的设计,为实现信息流分析的自动化,提出了一种用于描述信息流的二叉树结构,并给出了这种信息流树的构造规则和保证树中信息流准确无误的剪枝算法描述,设计并实现了利用此树进行信息流分析并生成记录分析结果的信息流向图的算法;接着,给出了信息流树构造算法和用作隐通道搜索方法输入的共享资源矩阵的生成算法,并以此为基础,详细讨论了基于系统源代码的隐通道搜索工具的设计与实现;最后,结合一个分析实例来说明基于系统源代码的隐通道搜索工具的实际应用情况。论文的主要贡献点在于: 1.提出了一套用树结构来描述系统源代码中信息流的方法,并构造出了这种便于存放信息流且易于实现的信息流树。该树结构可以反映语句及函数中的信息流,并可通过遍历树将这些信息存放在直观、易于理解的信息流向图中,从而可以方便地为隐通道搜索方法提供信息流分析结果。 2.设计并实现了一个基于系统源代码的隐通道搜索工具。该工具以系统源代码为输入,以隐蔽通道序列为输出,从而实现了隐通道搜索工作的自动化。

关键词：信息安全隐通道信息流规则信息流树信息流自动分析工具隐通道搜索工具

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

一种隐通道威胁审计的度量方法

计算机学报 2009年第4期32卷 751-762页

作者：王昌达鞠时光周从华宋香梅江苏大学计算机科学与通信工程学院江苏镇江212013

隐通道分析是高等级可信评估的重要指标,在TCSEC、CC和我国的GB17859—1999等标准中均有相关要求.隐通道的威胁审计是隐通道分析的重要组成部分,目前一般使用TCSEC的纯带宽标准,但它并不能全面反映出隐通道的威胁.通过形式化地定义隐通... 详细信息

隐通道分析是高等级可信评估的重要指标,在TCSEC、CC和我国的GB17859—1999等标准中均有相关要求.隐通道的威胁审计是隐通道分析的重要组成部分,目前一般使用TCSEC的纯带宽标准,但它并不能全面反映出隐通道的威胁.通过形式化地定义隐通道,研究其可量化属性,分析其空间拓扑结构,建立了一个用于隐通道计算的代数系统.通过引入威胁度和威胁率两个概念给出了一种新的威胁审计度量方法,新方法与已有的纯带宽方法兼容,能够从多个不同的角度对隐通道的威胁程度进行较为全面的度量.进一步,在隐通道代数系统的支持下给出了审计中有关问题的计算方法,形成了一套完整的隐通道威胁审计度量体系.

关键词：隐通道威胁审计度量代数系统可信评估

在线全文

学校读者我要写书评

暂无评论

基于源代码的隐通道搜索方法

计算机应用 2006年第9期26卷 2127-2130页

作者：宋香梅鞠时光江苏大学计算机科学与通信工程学院江苏镇江212013 江苏大学计算机科学与通信工程学院

针对目前隐通道搜索方法仍采用手工分析语句信息流所带来的工作量巨大问题,提出了一种基于源代码的信息流分析法,找出软件系统源代码中原语间兼具可见性和可修改性的共享变量,再以此作为共享资源矩阵法的输入,得到高效高精度的隐通道分... 详细信息

针对目前隐通道搜索方法仍采用手工分析语句信息流所带来的工作量巨大问题,提出了一种基于源代码的信息流分析法,找出软件系统源代码中原语间兼具可见性和可修改性的共享变量,再以此作为共享资源矩阵法的输入,得到高效高精度的隐通道分析工具。

关键词：隐通道信息流信息流树共享资源矩阵

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

基于Augur的交易者身份管理方案研究

密码学报 2020年第1期7卷 102-114页

作者：吴楠王良民宋香梅江苏大学计算机科学与通信工程学院镇江212013 华东师范大学上海市高可信计算重点实验室上海200062

随着物联网应用的快速发展,其安全问题也引起越来越多的关注.由于物联网设备众多,且信任机制缺失,物联网设备安全问题日益突出.区块链技术成为可能的解决途径.利用区块链技术的安全机制,物联网可以建立一套可信的加密系统,从而维护数据... 详细信息

随着物联网应用的快速发展,其安全问题也引起越来越多的关注.由于物联网设备众多,且信任机制缺失,物联网设备安全问题日益突出.区块链技术成为可能的解决途径.利用区块链技术的安全机制,物联网可以建立一套可信的加密系统,从而维护数据的安全.为探索如何利用区块链技术解决物联网设备安全问题,一个可行的解决方案是探索区块链应用的身份管理方案.本文通过对区块链应用Augur的身份管理技术进行研究,探索区块链应用的身份管理方案以及潜在风险,并针对Augur的身份管理方案潜在风险和设计缺陷攻击提出了一个基于信誉评估的安全解决方案.该方案选取了6个信誉指标和3种信誉计算方法,为交易者选择有效市场及其他Augur交易活动提供信誉依据.最后本文利用3个指标检验3种方法针对不同用户类型的评估准确度,为评估方法的选择提供了依据.

关键词：区块链 Augur 身份管理信誉评价

在线全文

学校读者我要写书评

暂无评论

基于依赖图的信息流图构建方法

计算机应用研究 2009年第6期26卷 2154-2157+2164页

作者：曾建鞠时光宋香梅江苏大学计算机科学与通信工程学院

信息流分析法是一种有效的隐通道搜索方法,用信息流图来描述系统中信息流的流动情况。直接基于系统源代码生成系统信息流图,由于信息流的传递关系,会引进大量系统中不存在的信息流路径。利用程序依赖图先处理系统信息流中的传递关系,然... 详细信息

信息流分析法是一种有效的隐通道搜索方法,用信息流图来描述系统中信息流的流动情况。直接基于系统源代码生成系统信息流图,由于信息流的传递关系,会引进大量系统中不存在的信息流路径。利用程序依赖图先处理系统信息流中的传递关系,然后再进行信息流图的生成,从而减少引入系统中不存在的信息流路径,减少信息流分析时的工作量。

关键词：程序依赖图信息流信息流图隐通道

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

一种动态的隐通道消除算法

小型微型计算机系统 2009年第2期30卷 236-241页

作者：王昌达鞠时光宋香梅江苏大学计算机科学与通信工程学院镇江江苏212013

软件只有处于运行状态其中寄生的隐通道才能工作,并对系统形成实质性的安全威胁.应用软件的执行需要操作系统的支撑.在多安全级操作系统中,赋予主体的安全级是通过赋予用户和代表用户的进程实现的.本文提出一种基于进程调度的动态隐通... 详细信息

软件只有处于运行状态其中寄生的隐通道才能工作,并对系统形成实质性的安全威胁.应用软件的执行需要操作系统的支撑.在多安全级操作系统中,赋予主体的安全级是通过赋予用户和代表用户的进程实现的.本文提出一种基于进程调度的动态隐通道消除算法LTHC,其核心思想是在操作系统进程优先级调度算法的基础上增设安全级的约束,构造一个按安全级排列的进程运行阶梯,迫使信息只能单向地从低向较高的安全级流动.LTHC算法具有进程公平调度和处理死锁的机制,对存储隐通道和时间隐通道均有效.

关键词：隐通道安全级安全模型安全策略进程调度

在线全文

学校读者我要写书评

暂无评论

城市桥梁工程混凝土施工质量控制

交通世界 2019年第34期 129-130页

作者：宋香梅长治市交通建设工程质量监督站

对桥梁混凝土施工质量常见的病害进行分析,包括麻面现象、蜂窝现象、孔洞现象、施工缝杂物、露筋现象等,阐述了相关质量控制技术措施和处理方法。结论证实,在施工作业中要弘扬工匠精神,贯穿“自检、互检、交接检”的三检制度,精雕细琢,... 详细信息

对桥梁混凝土施工质量常见的病害进行分析,包括麻面现象、蜂窝现象、孔洞现象、施工缝杂物、露筋现象等,阐述了相关质量控制技术措施和处理方法。结论证实,在施工作业中要弘扬工匠精神,贯穿“自检、互检、交接检”的三检制度,精雕细琢,提高每一道工序的工艺质量,落实质量验收程序,预防和杜绝质量通病,以确保整体工程质量。

关键词：桥梁混凝土施工质量控制措施