您的位置： 专家智库 > >

陈庆锋

作品数：3 被引量：15H指数：1
供职机构：广西师范大学更多>>
相关领域：自动化与计算机技术经济管理更多>>

合作作者

文献类型

  • 2篇期刊文章
  • 1篇科技成果

领域

  • 3篇自动化与计算...
  • 1篇经济管理

主题

  • 1篇电子商务
  • 1篇电子商务安全
  • 1篇电子商务安全...
  • 1篇信息安全
  • 1篇商务
  • 1篇商务安全
  • 1篇神经网
  • 1篇神经网络
  • 1篇神经网络方法
  • 1篇自动程序设计
  • 1篇网络
  • 1篇网络方法
  • 1篇逻辑验证
  • 1篇可追踪性
  • 1篇安全协议
  • 1篇程序设计
  • 1篇改进型

机构

  • 3篇广西师范大学
  • 1篇中国科学院软...
  • 1篇国家智能计算...

作者

  • 3篇陈庆锋
  • 1篇张师超
  • 1篇李芬兰
  • 1篇白硕
  • 1篇朱晓峰
  • 1篇秦永松
  • 1篇张继连
  • 1篇陈庆锋

传媒

  • 1篇广西师范大学...
  • 1篇软件学报

年份

  • 1篇2014
  • 1篇2000
  • 1篇1996
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
复杂模式发现理论与方法
张师超朱晓峰秦永松张继连陈庆锋
该项目的复杂模式是指减弱了传统挖掘算法中一些假设条件后挖掘出的满足实际应用需求的模式。复杂模式发现过程通常会导致数据规模不确定、低质量和动态等挑战性问题。因此，复杂模式挖掘一直是数据库研究领域中的核心目标之一。该项目发现...
关键词：
关键词：神经网络方法
一阶扩展Cooper变换改进型
1996年
提出一种一阶扩展A型Cooper变换改进型模式,用结构归纳法证明了其正确性,并给出应用示例。
李芬兰陈庆锋唐柳英
关键词：自动程序设计
电子商务安全协议的逻辑验证被引量：15
2000年
作者在以前所做的工作中 ,已对电子商务安全 (secure electronic transactions,简称 SET)中抽取的片段进行了证明 ,也对 SET中可能存在的问题进行了初步探讨 .该文在此基础上 ,对 SET的整个业务流程进行了严格的逻辑验证 ,通过形式化逻辑方法的验证 ,发现了 SET协议中存在的一些问题 ,并对如何解决这些问题进行了初步的探讨 .
陈庆锋陈庆锋白硕白硕隋立颖
关键词：信息安全逻辑验证可追踪性电子商务安全协议
全选 清除 导出
共1页<1>
聚类工具0