您的位置： 专家智库 > >

韩进

作品数：10 被引量：0H指数：0
供职机构：南京大学更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 9篇专利
  • 1篇学位论文

领域

  • 4篇自动化与计算...

主题

  • 4篇指标体系
  • 4篇文本数据
  • 4篇聚类
  • 4篇关键词提取
  • 4篇SWOT
  • 2篇依存
  • 2篇映射
  • 2篇语境
  • 2篇认证性
  • 2篇片段
  • 2篇片段序列
  • 2篇终端
  • 2篇漏洞
  • 2篇漏洞攻击
  • 2篇秘密性
  • 2篇句法树
  • 2篇句子
  • 2篇会话
  • 2篇核心词
  • 2篇安全协议

机构

  • 10篇南京大学
  • 2篇江苏南大苏富...

作者

  • 10篇韩进
  • 6篇石进
  • 1篇李武军

年份

  • 3篇2023
  • 4篇2019
  • 1篇2013
  • 1篇2011
  • 1篇2009
共 10 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种基于漏洞攻击的安全协议验证方法
一种基于漏洞攻击的安全协议验证方法，方法采用安全协议一致性目标来描述安全协议的认证性与秘密性安全属性，使用基于进程状态变迁规则定义与数据类型映射模式的方式实现对安全协议的建模。本方法将对安全协议的验证转换成攻击者基于会话...
韩进蔡圣闻王珺谢俊元
文献传递
一种SWOT指标体系构建系统
本发明涉及一种<I>SWOT</I>指标体系构建系统，其包括：关键词提取模块，对文本数据集的关键词提取；映射模块，关键词聚类和<I>SWOT</I>指标体系映射；以及权重建议生成模块，生成指标体系权重建议。清晰地列出影响...
石进韩进金鹏
文献传递
一种终端辅助SWOT指标体系的构建方法
本发明涉及终端集中存储领域，具体为一种终端辅助<I>SWOT</I>指标体系的构建方法，其包括：步骤<I>S</I>100，基于终端对文本数据集的关键词提取；步骤<I>S</I>200，关键词聚类和<I>SWOT</I>...
石进韩进金鹏
基于语境的依存句法树的构建方法
本发明涉及语境核心词提取领域，具体为一种基于语境的依存句法树的构建方法，其包括：步骤<I>S</I>100，获取句子；步骤<I>S</I>200，通过核心词判断将句子切分形成片段序列；步骤<I>S</I>300，判断片段...
石进韩进金鹏
文献传递
基于πt建模与约束求解的加密协议自动化验证算法及其工具的实现与研究
加密协议是信息安全的基石，加密协议能否实现用户所需的安全目标是所有加密协议设计者、使用者所关心的问题，但是加密协议的验证却是相当困难的。自从上世纪七十年代至今，加密协议的验证研究已走过了三十多年的时间，形成了一批重要的研...
韩进
一种终端辅助SWOT指标体系的构建方法
本发明涉及终端集中存储领域，具体为一种终端辅助<I>SWOT</I>指标体系的构建方法，其包括：步骤<I>S</I>100，基于终端对文本数据集的关键词提取；步骤<I>S</I>200，关键词聚类和<I>SWOT</I>...
石进韩进金鹏
文献传递
一种SWOT指标体系构建系统
本发明涉及一种<I>SWOT</I>指标体系构建系统，其包括：关键词提取模块，对文本数据集的关键词提取；映射模块，关键词聚类和<I>SWOT</I>指标体系映射；以及权重建议生成模块，生成指标体系权重建议。清晰地列出影响...
石进韩进金鹏
一种基于漏洞攻击的安全协议验证方法
一种基于漏洞攻击的安全协议验证方法，方法采用安全协议一致性目标来描述安全协议的认证性与秘密性安全属性，使用基于进程状态变迁规则定义与数据类型映射模式的方式实现对安全协议的建模。本方法将对安全协议的验证转换成攻击者基于会话...
韩进蔡圣闻王珺谢俊元
一种基于哈希学习的相似蛋白质结构检索方法
本发明公开一种基于哈希学习的相似蛋白质结构检索方法：首先获取蛋白质结构数据集，计算两两之间的相似度信息；针对查询样本，采样正样本与负样本；将蛋白质结构建模为图，并提取节点和边特征，更新节点和边的特征表示，定义量化损失和相...
李武军韩进
依存句法树构建系统
本发明涉及语境核心词提取领域，具体为一种基于语境的依存句法树构建系统，其包括：获取模块，获取句子；切分模块，通过核心词判断将句子切分形成片段序列；语境归属模块，判断片段序列之间的中间词的归属语境；最小语境集合模块，去除单...
石进韩进金鹏
文献传递
全选 清除 导出
共1页<1>
聚类工具0