您好,欢迎光临有路网!
电子商务网络协议的形式化分析理论与应用
QQ咨询:
有路璐璐:

电子商务网络协议的形式化分析理论与应用

  • 作者:谢晓尧
  • 出版社:科学出版社
  • ISBN:9787030200327
  • 出版日期:1900年01月01日
  • 页数:146
  • 定价:¥30.00
  • 猜你也喜欢

    分享领佣金
    手机购买
    城市
    店铺名称
    店主联系方式
    店铺售价
    库存
    店铺得分/总交易量
    发布时间
    操作

    新书比价

    网站名称
    书名
    售价
    优惠
    操作

    图书详情

    • 出版社
    • ISBN
      9787030200327
    • 作者
    • 页数
      146
    • 出版时间
      1900年01月01日
    • 定价
      ¥30.00
    • 所属分类
    内容提要
    本书叙述了与信息**有密切联系的基于网络电子商务协议的形式化分析理论方法与实际应用。具体内容包括:电子商务协议的形式化逻辑分析方法、通用形式化Petri网模型分析方法、有穷自动机模型检测分析方法、**认证和交易的基本协议,以及协议的有色Petri网模型及分析的软件工具CPN Tools等。同时,本书应用这些分析方法和工具具体分析了相关的认证和支付等协议。
    本书适合于高等院校计算机专业、电子商务专业高年级本科生和研究生阅读,也可供科研人员参考。
    目录

    前言
    第1章 概论
    1.1 信息**的基本定义
    1.2 网络的**问题
    1.3 网络**体系结构
    第2章 电子商务协议的形式化分析理论基础
    2.1 电子商务的定义
    2.2 电子商务协议的**性
    2.2.1 电子商务协议的**性
    2.2.2 电子商务协议的设计原则
    2.2.3 电子商务协议的**分析
    2.2.4 电子商务协议形式化分析方法分类
    第3章 电子商务协议的形式化逻辑分析方法
    3.1 BAN逻辑
    3.1.1 BAN逻辑公式
    3.1.2 BAN逻辑的推理规则
    3.1.3 BAN逻辑的评价
    3.2 Kailar逻辑
    3.2.1 Kailar逻辑公式
    3.2.2 Kailar逻辑的推理规则
    3.3 NDL逻辑
    3.3.1 NDL逻辑的语法
    3.3.2 NDL逻辑的推理规则
    3.4 卿周逻辑
    3.4.1 卿周逻辑的语法
    3.4.2 卿周逻辑的推理规则
    第4章 电子商务协议的通用形式化Petri网模型分析方法
    4.1 Petri网概述
    4.2 Petri网的定义
    4.3 Petri网的应用实例
    4.4 Petri网的特性
    4.4.1 保守网
    4.4.2 有界网
    4.4.3 活动性
    4.4.4 并发与冲突
    4.5 Petri网的扩充
    4.5.1 输人函数和输出函数的扩充
    4.5.2 触发条件的扩充
    4.5.3 旗标和库所的扩充(着色Petri网)
    4.6 Petri网的替换与合成
    4.7 常用的Petri网模型
    4.7.1 库所/变迁网(P/T网)的形式化定义
    4.7.2 有色网的形式化定义
    4.7.3 常量弧有色网的形式化定义
    4.8 Petri网的分析
    4.8.1 常量弧网
    4.8.2 库所/变迁网(P/T网)
    4.8.3 有色网
    第5章 电子商务协议的形式化有穷自动机模型检测分析方法
    5.1 有穷自动机的定义
    5.2 传输通道类别
    5.3 通道DFA
    5.4 协议实体DFA
    5.5 DFA的简化
    5.6 DFA的合成
    第6章 基于电子商务**认证和交易的基本协议
    6.1 **认证的基本协议
    6.1.1 Needham—Schroeder认证协议
    6.1.2 Kerberos认证协议
    6.1.3 Otwag—Rees认证协议
    6.2 电子交易的基本协议
    6.2.1 网上交易协议遵循的原则
    6.2.2 IBS支付协议
    6.2.3 CMP1及CMP2非否认协议
    ……
    第7章 基于公钥基础设施PKI的**认证协议
    第8章 基于工商管理的**认证协议
    第9章 **认证协议的Petri网模型
    第10章 支付协议的有穷自动机模型
    第11章 协议的有色Petri网模型及分析
    参考文献

    与描述相符

    100

    北京 天津 河北 山西 内蒙古 辽宁 吉林 黑龙江 上海 江苏 浙江 安徽 福建 江西 山东 河南 湖北 湖南 广东 广西 海南 重庆 四川 贵州 云南 西藏 陕西 甘肃 青海 宁夏 新疆 台湾 香港 澳门 海外