您的位置： 专家智库 > >

侯贵宾

作品数：4 被引量：3H指数：1
供职机构：燕山大学信息科学与工程学院更多>>
发文基金：河北省自然科学基金河北省重大技术创新项目更多>>
相关领域：自动化与计算机技术经济管理更多>>

合作作者

文献类型

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

领域

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

主题

  • 2篇形式化
  • 2篇形式化分析
  • 1篇电子商务
  • 1篇电子商务协议
  • 1篇电子现金
  • 1篇银行
  • 1篇有穷
  • 1篇有穷自动机
  • 1篇商务
  • 1篇企业
  • 1篇企业成本管理
  • 1篇自动机
  • 1篇椭圆曲线密码
  • 1篇椭圆曲线密码...
  • 1篇逻辑分析
  • 1篇密码
  • 1篇密码体制
  • 1篇可传递性
  • 1篇可分电子现金
  • 1篇建模方法

机构

  • 4篇燕山大学
  • 1篇中国建设银行

作者

  • 4篇侯贵宾
  • 1篇李可
  • 1篇刘佳新
  • 1篇任家东
  • 1篇岳丽文
  • 1篇刘文远
  • 1篇司亚利
  • 1篇孙亚非
  • 1篇董俊
  • 1篇马生
  • 1篇吴迪
  • 1篇蔡斌雷
  • 1篇曹卫东

传媒

  • 1篇小型微型计算...
  • 1篇河北科技大学...

年份

  • 1篇2013
  • 1篇2012
  • 1篇2011
  • 1篇2010
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
安全高效多银行的可分电子现金协议研究
随着信息技术和电子商务的飞速发展，电子现金凭借其匿名性、可分性等优势成为了理想的支付方式。对安全、高效和实用的电子现金支付技术的研究，是电子商务交易中亟待解决的关键问题之一，是电子支付系统发展的科学依据，具有重要的科研学...
侯贵宾
关键词：可分电子现金椭圆曲线密码体制形式化分析二叉树可传递性
有穷机和逻辑结合的电子商务协议分析方法被引量：1
2013年
提出一种扩展的有穷自动机模型,并结合卿-周逻辑给出一种新的电子商务协议形式化分析方法,用于分析电子商务协议的可追究性、公平性和时限性.该方法结合了模型检测和逻辑分析两种形式化分析方法的优点,可以准确形象地描述协议的具体运行过程,并且在发生重放攻击时能够正确分析各方的责任.利用该方法对Kim等人提出的改进版ZG协议进行了实例分析,给出了描述该协议运行过程的状态转换图,结合状态转换图对该协议分析得出其满足可追究性、公平性、时限性,并且不存在被重放攻击的可能.最后用时间自动机UPPAAL验证了新方法中有穷自动机模型的准确性和时限性分析的有效性.
刘文远马生司亚利侯贵宾
关键词：电子商务协议形式化分析有穷自动机逻辑分析
一种面向自然语言表达的不确定时态数据的建模方法被引量：2
2010年
在医疗信息系统中,含自然语言表达式的时态信息起着关键性作用。如何处理基于自然语言的不确定时态信息问题一直没有得到很好地解决。针对医疗信息系统的需求,在此对时态数据模型的研究现状以及一些经典的不确定时态医疗信息数据模型进行了研究。对各种传统的时态原语类型进行不确定性扩展。提出了基于自然语言表达式的不确定时态数据模型NLTM。
侯贵宾曹卫东
关键词：持续时间
港口企业精细化管理分析模型的研究
任家东侯贵宾王妍妍董俊刘佳新吴迪蔡斌雷孙亚非岳丽文李可
基于秦皇岛港成本管理现状的研究，综合利用数据挖掘技术和时间序列、关联规则、聚类分析等方法，提出了一套较为完整的港口企业成本精细化管理分析模型，有效降低了企业成本。课题利用时间序列方法找出每个成本科目在不同的时间序列上的孤...
关键词：
关键词：企业成本管理
全选 清除 导出
共1页<1>
聚类工具0