检索结果-南通市图书馆

SET证书申请协议在SPV下的自动化验证及改进

在线全文

学校读者我要写书评

暂无评论

计算机学报 2008年第6期31卷 1035-1045页

作者：肖茵茵苏开乐岳伟亚陈清亮吕关锋杨晋吉中山大学信息科学与技术学院广东省信息安全重点实验室广州510275 暨南大学计算机科学系广州510632 北京工业大学计算机学院北京100022

基于实例化空间逻辑理论,使用知识推理方法,在SPV(Security Protocol Verifier)下对完整SET证书申请协议的秘密性、认证性等安全性质进行了完全自动化证明,并对协议进行了改进.SPV调用工业级SAT求解器,能够高效验证安全协议是否满足CAPS... 详细信息

基于实例化空间逻辑理论,使用知识推理方法,在SPV(Security Protocol Verifier)下对完整SET证书申请协议的秘密性、认证性等安全性质进行了完全自动化证明,并对协议进行了改进.SPV调用工业级SAT求解器,能够高效验证安全协议是否满足CAPSL(Common Authentication Protocol Specification Language)协议规范及单层、多层认知规范.应用一个逻辑或工具对协议进行验证首先必须对该协议进行简化,而SET协议作为当前最复杂的工业级协议,其原始文档有上千页,因此简化过程相当困难,相关研究较少,已有的一些简化模型也不够完整.因此,文章针对SET证书申请协议,给出了比以往更贴近原协议的简化模型,并详细阐述了该模型在SPV下的形式化描述及验证过程、验证结果,分析了由于协议不满足某些认知规范所带来的安全隐患,从而对协议进行改进,最后证明了改进后协议的有效性.该工作也充分说明了SPV足以处理复杂的工业级协议.

关键词： SET证书申请协议自动化验证 SPV 认证性秘密性

在线全文

学校读者我要写书评

暂无评论

个人征信机构发展评价指标构建探索

征信 2024年第6期 10-17页

作者：杨晋丽梁平朴道征信有限公司战略发展部

研究构建个人征信机构发展评价指标体系，既可以满足征信监管需求，又能引导征信机构在追求自身经济效益的同时，兼顾社会效益，进而推动中国个人征信市场高质量发展。通过借鉴国内外有关组织对征信机构的评价标准，结合监管要求和机构... 详细信息

研究构建个人征信机构发展评价指标体系，既可以满足征信监管需求，又能引导征信机构在追求自身经济效益的同时，兼顾社会效益，进而推动中国个人征信市场高质量发展。通过借鉴国内外有关组织对征信机构的评价标准，结合监管要求和机构发展实际，尝试构建个人征信机构发展评价指标体系：一是确定影响机构高质量发展的因素，设计4个一级指标；二是确定影响各因素的代表性二级指标12个；三是按重要性和差异化标准细筛指标，形成60个三级指标；四是采用专家打分法，对指标赋权；五是对市场化征信机构进行试评价。结果表明，该指标体系基本能反映个人征信机构发展实际，既能为机构发展提供指引，又可为监管当局评估征信机构发展情况提供参考。

关键词：征信业高质量发展征信监管个人征信机构评价指标

基于Adaboost与Clifford代数的人脸检测

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

计算机工程 2013年第9期39卷 214-217页

作者：杨晋吉李荣兵华南师范大学计算机学院广州510631

Adaboost算法在光照不均、背景复杂的条件下进行人脸检测时误检率较高。为解决该问题,提出一种基于Adaboost算法与Clifford代数矢量积性质的人脸检测方法。利用Adaboost算法初步定位人脸可能存在的区域,对该区域进行基于知识的校验,如... 详细信息

Adaboost算法在光照不均、背景复杂的条件下进行人脸检测时误检率较高。为解决该问题,提出一种基于Adaboost算法与Clifford代数矢量积性质的人脸检测方法。利用Adaboost算法初步定位人脸可能存在的区域,对该区域进行基于知识的校验,如果校验失败,根据Clifford矢量积性质,寻找与待验证区域相似度较高的人脸,当相似度大于阈值时,判断其为人脸。实验结果表明,与Viola-Jones方法相比,该方法在保持较高检测率的同时,降低了误检率,且鲁棒性较好。

关键词：人脸检测 Adaboost算法 Clifford代数矢量积主成分分析人脸先验知识

在线全文

学校读者我要写书评

暂无评论

公平交换协议的信道可信度形式化验证方法

小型微型计算机系统 2018年第2期39卷 240-244页

作者：杨晋吉申涵瑞陈清亮华南师范大学计算机学院广州510631 暨南大学计算机科学系广州510632

公平交换协议是一种重要的电子商务安全协议,已有的针对公平交换协议进行的形式化验证只能定性分析协议是否满足给定性质,本文提出基于信道可信度的公平交换协议的形式化验证方法,重点对信道问题进行定量分析.以一个电子合同签署协议为... 详细信息

公平交换协议是一种重要的电子商务安全协议,已有的针对公平交换协议进行的形式化验证只能定性分析协议是否满足给定性质,本文提出基于信道可信度的公平交换协议的形式化验证方法,重点对信道问题进行定量分析.以一个电子合同签署协议为例,通过概率模型检测的方法对协议建立离散时间马尔可夫链模型,用概率计算树逻辑对协议属性进行描述,通过PRISM概率模型检测工具对协议进行定量的验证和分析.实验结果表明公平交换协议各实体间信道可信度对协议的公平性、有效性和时限性有不同程度的影响,对相应信道进行控制或改善可以提高协议安全性.

关键词：形式化验证信道可信度公平交换协议概率模型检测 PRISM

在线全文

学校读者我要写书评

暂无评论

三维洛伦兹李群的孤立子及相关问题研究

三维洛伦兹李群的孤立子及相关问题研究

作者：杨晋丽牡丹江师范学院

学位级别：硕士

本文主要研究了具有左不变洛伦兹度量的三维洛伦兹李群上的仿射Ricci孤立子、代数Schouten孤立子、Codazzi张量和拟统计结构的存在性问题.首先,采用代数的方法,分别对具有Yano联络的三维洛伦兹李群定义了仿射Ricci孤立子和代数Schouten... 详细信息

本文主要研究了具有左不变洛伦兹度量的三维洛伦兹李群上的仿射Ricci孤立子、代数Schouten孤立子、Codazzi张量和拟统计结构的存在性问题.首先,采用代数的方法,分别对具有Yano联络的三维洛伦兹李群定义了仿射Ricci孤立子和代数Schouten孤立子,给出了相应孤立子的具体表达式,计算了相应的Levi-Civita联络、Yano联络、曲率张量以及Ricci张量的具体表达式.继而利用孤立子方程,将其方程转化为代数方程从而找到其存在的条件,解决了该群中与Yano联络相关的孤立子的存在性问题,进而丰富和完善仿射Ricci孤立子和代数Schouten孤立子的研究.其次,利用Codazzi张量和拟统计结构的定义,得到了其相关的具体表达式.继而利用代数方法,对Yano联络下的Codazzi张量和拟统计结构进行了系统地研究,证明了该群中与Yano联络相关的Codazzi张量和拟统计结构相应的存在性.

关键词：三维洛伦兹李群 Yano联络仿射Ricci孤立子代数Schouten孤立子 Codazzi张量拟统计结构

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

连带病耻感评估工具的研究进展

军事护理 2024年第4期41卷 18-20,55页

作者：路文峰杨晋赵岳卢琦天津医科大学护理学院天津300070

连带病耻感是指患者的家庭成员、亲友甚至整个社会群体因与患者的关联而感到羞耻或不安[1]。这一概念源自社会对某些疾病的负面看法,不仅会增加患者的心理负担[2],还会增加照护者的压力及抑郁症风险[3],已成为社会和学术界的关注焦点。... 详细信息

连带病耻感是指患者的家庭成员、亲友甚至整个社会群体因与患者的关联而感到羞耻或不安[1]。这一概念源自社会对某些疾病的负面看法,不仅会增加患者的心理负担[2],还会增加照护者的压力及抑郁症风险[3],已成为社会和学术界的关注焦点。连带病耻感最初用于研究精神类疾病患者家属的社会偏见和歧视[4],随时间推移,该概念被广泛应用于痴呆症[5]、孤独症[6]和癌症[7]患者的家庭照顾者,以及护士群体[8]。目前已开发多种量表来评估连带病耻感的程度及其在不同群体中的表现,以提供心理支持和社会干预。本研究旨在综述连带病耻感评估工具,为临床医护人员选择合适的评估工具提供参考。

关键词：连带病耻感照顾者评估工具

在线全文

学校读者我要写书评

暂无评论

基于SPIN的功能测试用例生成方法研究

软件导刊 2016年第7期15卷 1-4页

作者：李建杨晋吉华南师范大学计算机学院广东广州510631

提出了一种自动生成系统功能测试用例的新方法。该方法使用Promela语言对软件系统的状态和行为进行描述建模,使用LTL公式描述测试覆盖标准,然后将该组LTL公式和描述状态行为的Promela模型输入SPIN模型检测工具,并利用模型检测工具自动... 详细信息

提出了一种自动生成系统功能测试用例的新方法。该方法使用Promela语言对软件系统的状态和行为进行描述建模,使用LTL公式描述测试覆盖标准,然后将该组LTL公式和描述状态行为的Promela模型输入SPIN模型检测工具,并利用模型检测工具自动生成相应的证据路径,最后结合正例将路径转化成满足相应覆盖标准的系统功能测试用例,并以电梯系统模型对该方法作出了诠释。

关键词：功能测试用例 SPIN 模型检测 Promela建模

在线全文

学校读者我要写书评

暂无评论

基于GSM短消息的监控系统的研究与实现

华南师范大学学报（自然科学版） 2009年第3期41卷 33-35,46页

作者：杨晋吉林结斌袁启义华南师范大学计算机学院广东广州510631

设计并实现一个基于GSM短信息的监控报警系统,介绍了该系统的原理和结构,并详细阐明了其实现方法及一些关键的技术.实践证明,系统具有运行可靠、费用低廉等特点,有较高的应用价值.

关键词： GSM 监控系统 RTP 短消息

在线全文

学校读者我要写书评

暂无评论

计算机图形学课程的教学研究

高等理科教育 2010年第4期 106-108页

作者：杨晋吉华南师范大学计算机学院

计算机图形学是计算机学科一门重要的专业课程，它主要研究各种几何和自然形体如何由计算机自动生成、显示、存储等的一门学科。笔者主持了计算机图形学的精品课程和网络课程的建设。在对这门课多年的本科教学实践过程中，通过深入了解... 详细信息

计算机图形学是计算机学科一门重要的专业课程，它主要研究各种几何和自然形体如何由计算机自动生成、显示、存储等的一门学科。笔者主持了计算机图形学的精品课程和网络课程的建设。在对这门课多年的本科教学实践过程中，通过深入了解、观察和体会，在结合国内外一些知名大学的教学经验的基础上，对该课程的授课方式、实验内容和方式等教学环节方面总结出了一些切合实际的经验和方法。

关键词：计算机图形学专业课程教学研究计算机学科教学经验自动生成网络课程精品课程