-
题名不可否认协议分析的增广CSP方法
被引量：5
- 1
-
-
作者
韩志耕
罗军舟
王良民
-
机构
东南大学计算机科学与工程学院
-
出处
《通信学报》
EI
CSCD
北大核心
2008年第10期8-18,共11页
-
基金
国家自然科学基金资助项目(90604004
60703115)
+3 种基金
江苏省自然科学基金资助项目(BK2007708
BK2008030)
江苏省"网络与信息安全"重点实验室基金资助项目(BM2003201)
科技部国际科技合作项目~~
-
文摘
提出一种适用于不可否认协议分析的增广CSP(communicating sequential processes)方法。检验有效性时使用它分析了Zhou等人于1996年提出的公平不可否认协议及其变体的安全性。结果表明该方法不仅能分析一些其他方法无法描述的协议性质,而且还发现了该协议的一个许多其他方法不能发现的已知缺陷;同时还证明协议变体增强了安全性。最后从语义和理论依赖2个角度讨论了方法正确性,并给出与其他方法相比所具备的优势。
-
关键词
不可否认
增广CSP方法
公平性
时限性
形式化方法
-
Keywords
non-repudiation
extended-CSP approach
fairness
timeliness
formal method
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名多方不可否认协议时限性分析与改进
被引量：10
- 2
-
-
作者
韩志耕
罗军舟
-
机构
东南大学计算机科学与工程学院
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2009年第2期377-381,共5页
-
基金
国家自然科学基金会重大研究计划项目(No.90604004
No.60773103)
+4 种基金
江苏省自然科学基金重点项目(No.BK2007708
BK2008030)
江苏省"网络与信息安全"重点实验室项目(No.BM2003201)
计算机网络和信息集成教育部重点实验室项目(No.93K-9)
科技部国际科技合作项目
-
文摘
时限性是实用的不可否认协议必须具备的一个基本性质.形式化分析典型的多方不可否认协议时发现其存在未公布的时限性缺陷.本文通过向协议消息中添加额外时间控制信息和改变协议交互步骤的办法对该缺陷进行了改进.
-
关键词
多方不可否认
形式化分析
时限性
-
Keywords
multi-party non-repudiation
formal analysis
timeliness
-
分类号
TN91
[电子电信—通信与信息系统]
-
-
题名基于SDN的电邮抵赖源头抑制方法
被引量：2
- 3
-
-
作者
韩志耕
冯霞
陈耿
-
机构
南京审计大学工学院
南京审计大学江苏省公共工程审计重点实验室
安徽大学计算机科学与技术学院
-
出处
《通信学报》
EI
CSCD
北大核心
2016年第9期55-67,共13页
-
基金
国家自然科学基金资助项目(No.71271117)
江苏省自然科学基金资助项目(No.BK20151460)
+2 种基金
江苏省高校自然科学基金资助项目(No.16KJB520021)
江苏省网络与信息安全重点实验室基金资助项目(No.BM2003201)
江苏省公共工程审计重点实验室开放课题基金资助项目(No.GGSS2015-04)~~
-
文摘
受制于现有互联网体系可管控性的丧失,以签收电邮为代表的安全电邮技术仅能对电邮抵赖进行事后检测而无法实施源头抑制。基于SDN(software-defined networking)控制与数据相分离的思想,通过将定制的抵赖抑制单元旁路附加到传统电邮模型之上,提出一种不破坏现有电邮结构的电邮抵赖源头抑制方法。在给出抵赖抑制单元内嵌的电邮证据绑定协议、抵赖行为检测算法、签收信度评估模型和抑制策略形成算法后,对所提方法在4种交叉场景中进行了有效性测试。实验结果表明,在与当前电邮系统兼容共生的前提下,所提方法能够对电邮抵赖实施有效的源头抑制。
-
关键词
电邮抵赖
源头抑制
SDN
签收电邮
-
Keywords
e-mail repudiation
source restraining
SDN
certified e-mail
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名不可否认协议分析的扩展ZQZ逻辑方法
被引量：1
- 4
-
-
作者
韩志耕
石青山
杨鹏
陈耿
范远哲
-
机构
南京审计大学信息工程学院
江苏省审计信息工程重点实验室(南京审计大学)
-
出处
《密码学报》
CSCD
2022年第1期60-75,共16页
-
基金
国家自然科学基金(72072091)
江苏省高校自然科学基金(21KJA520002,16KJB520021)
审计信息工程与技术协同创新中心项目。
-
文摘
不可否认协议必须满足存活性、不可否认性、公平性和时限性,但当前大多数形式化方法只能分析该类协议的部分性质,证明或证伪协议逻辑的部分正确性.本文通过向ZQZ逻辑添加时间表达式,提出了一种适用于不可否认协议建模与分析的扩展ZQZ逻辑方法,包括推理规则和安全性质模型.展示新方法的应用时,使用其分析了ZG和KPB这两个局部逻辑正确性已知的两方不可否认协议,以及YLL这个逻辑正确性尚在讨论的基于区块链的多方不可否认协议.实验显示,对前两个协议的分析结果与既有事实相符,对第三个协议的分析发现其无法为收方提供设计者所宣称的时限性.以上结论从逆向工程角度佐证了扩展ZQZ逻辑方法是一种行之有效的不可否认协议分析新方法.
-
关键词
不可否认协议
形式化分析
ZQZ逻辑
时限性
时间表达式
逆向工程
-
Keywords
non-repudiation protocol
formal analysis
ZQZ logic
timeliness
time expression
reverse engineering
-
分类号
TP309.7
[自动化与计算机技术—计算机系统结构]
-
-
题名ISACM:现代信息系统审计模型及其方法体系
被引量：6
- 5
-
-
作者
陈耿
李婷婷
韩志耕
-
机构
南京审计大学
-
出处
《会计之友》
北大核心
2019年第9期125-129,共5页
-
基金
国家自然科学基金面上项目(71271117)
江苏省自然科学基金项目(BK20151460)
+1 种基金
江苏省高校自然科学基金项目(16KJB520021)
江苏省公共工程审计重点实验室开放课题(GGSS2015-04)
-
文摘
互联网的普及使得企业的生存与发展越来越依赖于现代信息系统,现代信息系统重要性的与日俱增要求信息系统审计在模型及方法体系上均要做出适应性的拓展甚至变更。针对该问题,文章提出了现代信息系统审计模型ISACM,该模型将现代信息系统审计的职能明确分为审计、控制和管理三个关联的方面。与此同时,基于ISACM模型构建了现代信息系统审计的一般性方法体系,进一步明确审计职能——三项审计类别涉及真实性审计、安全性审计、绩效审计;三级控制层面包括决策层面、业务层面和技术层面;三个管理维度分别是IT治理、应急管理和业务连续性管理,以期为互联网环境下的现代信息系统审计提供指引。
-
关键词
互联网环境
现代信息系统审计
ISACM
模型
一般性方法体系
-
分类号
F239.1
[经济管理—会计学]
-
-
题名采购控制链的Petri网建模及缺陷检测
- 6
-
-
作者
陈耿
周红雨
韩志耕
-
机构
南京审计学院审计与会计学院
南京审计学院工学院
-
出处
《会计之友》
北大核心
2015年第12期37-41,共5页
-
基金
国家自然科学基金面上项目(71271117)
江苏省高校自然科学基金项目(12KJB520005)
+5 种基金
江苏省网络与信息安全重点实验室项目(BM2003201)
江苏省"六大人才高峰"项目(07-E-025)
江苏省高校科研成果产业化推进项目(JHB2012-20)
江苏省科技型企业技术创新资金项目(BC2012201)
南京审计学院人才引进项目(NSRC10033)
南京审计学院2014年硕士研究生科研实践计划
-
文摘
采购控制链是审计关注的重要风险点。企业现有采购控制链普遍存在流程缺陷,文章以企业的采购流程为研究对象,基于Petri网理论构建了一个面向采购流程的控制链模型,并利用Petri网可视化工具Ex Spect对该模型进行仿真,对控制链中可能存在的缺陷进行定量分析,同时对企业控制链给出相应改进,从而为加强内部控制提供了一种新方法。
-
关键词
采购管理
内部控制
PETRI网建模
采购流程仿真
缺陷分析
-
分类号
F273.4
[经济管理—企业管理]
-
-
题名基于服务租赁的中学云图书馆建设模式
被引量：1
- 7
-
-
作者
吴慧玲
韩志耕
陈耿
郁金华
-
机构
江苏南京市莲花实验学校
江苏南京审计学院信息科学学院
江苏南京审计学院
-
出处
《中小学信息技术教育》
2013年第9期73-75,共3页
-
基金
国家自然科学基金(71271117,70971067,61272074)
江苏省高校自然科学基金(12KJB520005,12KJD410001)
+3 种基金
江苏省网络与信息安全重点实验室(BM2003201)
江苏省高校科研成果产业化推进工程(JHB2012-20)
江苏省六大人才高峰项目(07-E-025)
南京审计学院人才引进项目(NSRC10033)
-
文摘
基于服务租赁的中学云图书馆建设模式借助日益廉价的云服务对图书情报资源进行在线管理、实时共享、智能整合和精准推送，有力地克服了现有图书馆因经费不足所带来的馆舍面积不足、藏书结构不合理、管理力量薄弱、图书情报资源浪费等办馆问题，有效地发挥了中学图书馆在教书育人方面的辅助作用。
-
关键词
云图书馆
服务租赁
图书情报
智能整合
精准推送
-
分类号
G250.7
[文化科学—图书馆学]
G258.69
[文化科学—图书馆学]
-
-
题名中学计算机网络校本课程考核革新模式
- 8
-
-
作者
吴慧玲
韩志耕
陈耿
-
机构
江苏南京市莲花实验学校
江苏南京审计学院工学院
江苏南京审计学院审计与会计学院
-
出处
《中小学信息技术教育》
2015年第4期59-62,共4页
-
基金
国家自然科学基金(71271117,70971067)
江苏省高校自然科学基金(12KJB520005)
+3 种基金
江苏省网络与信息安全重点实验室(BM2003201)
江苏省高校科研成果产业化推进工程(JHB2012-20)
南京审计学院高等教育研究一般课题(J2013004)
南京审计学院实验课程建设一般项目(SYKC201316)
-
文摘
为改善中学计算机网络校本课程教学效果，提出了适用于该课程的考核革新模式，涉及面向系统性考核的考核体系规划、提升考核针对性的考核内容提取模式、改善考核时效性的考核组织模式、面向薄弱点定位的精准评价技术这四个方面。从南京市莲花实验学校的使用结果看，该模式能够极大地提升计算机网络校本课程的教学效果。
-
关键词
计算机网络
考核革新
考核系统性
考核针对性
考核时效性
薄弱点定位
-
分类号
G633.67
[文化科学—教育学]
G434
[文化科学—教育技术学]
-
-
题名基于混合VPN技术的中学校园网建设模式
- 9
-
-
作者
吴慧玲
韩志耕
陈耿
郁金华
-
机构
江苏南京市莲花实验学校
江苏南京审计学院信息科学学院
江苏南京审计学院
-
出处
《中小学信息技术教育》
2014年第3期67-69,共3页
-
基金
国家自然科学基金(71271117,70971067)
江苏省高校自然科学基金(12KJB520005,12KJD410001)
+2 种基金
江苏省网络与信息安全重点实验室(BM2003201)
江苏省高校科研成果产业化推进工程(JHB2012-20)
南京审计学院实验课程建设一般项目(SYKC201316)的研究成果
-
文摘
本文提出了一种基于混合VPN4技术的校园网建设模式。该模式借助混合VPN技术，一方面通过构建站点与站点式VPN实现了公网承载下的区间安全互访，满足了中学分校区之间的数据通信需求；另一方面，通过构建远程接入式VPN提供了远程单点对本地网络的安全联通，满足了异地师生利用现有公网远程接入校园网的需求。在此基础上，以南京市莲花实验学校建校初期的校园网改造为例，探讨了该模式的使用过程。实践表明，该模式对于资金受限情况下的中学校园网的建设具有重要的借鉴意义。
-
关键词
混合VPN
区间互访
远程接入
公网承载
资金受限
-
分类号
G434
[文化科学—教育技术学]
-
