叶红
- 作品数：6 被引量：25H指数：3
- 供职机构：安徽工业大学计算机科学与技术学院更多>>
- 发文基金：安徽省高校省级自然科学研究项目更多>>
- 相关领域：自动化与计算机技术理学经济管理更多>>
- 电子商务协议的建模方法与分析被引量：4
- 2004年
- 电子商务协议是安全协议和商务逻辑的结合体。SET协议是为解决信用卡支付业务在Internet上安全、可靠的支付而提出的一种解决电子商务的安全支付方案。因为SET协议涉及的参与主体较多,相互握手次数较平凡,从而导致协议比较复杂,分析比较困难。在分析SET协议规范的基础上,利用形式化分析工具—Petri网对SET协议进行建模分析,给出协议与Petri网模型之间的对应关系。最终使得SET协议便于理解和分析。
- 袁志祥叶红
- 关键词：电子商务SET协议PETRI网
- 传递闭包的增量式更新研究被引量：2
- 2015年
- 针对二元关系中添加序偶原有传递闭包更新问题,先提出一种新的传递闭包算法,并基于新的传递闭包算法给出传递闭包的增量式更新方法,只需要在原有传递闭包的基础上,根据所添加的不同序偶,进行简单的更新即可,利用该方法可以较快地实现动态变化的二元关系传递闭包的求解。
- 汪小燕杨思春叶红周建平
- 关键词：传递闭包
- 安全电子交易协议的应用被引量：1
- 2004年
- 安全电子交易(SET)协议是一种解决互联网上信用卡安全交易的安全协议,其工作流程符合传统的信用卡工作流程和规范。它是主要由MasterCard、VisaCard、微软以及IBM等著名公司联合提出的电子商务解决方案。文中主要阐述了安全电子交易协议的协议规范和应用特点,并针对电子图书产品的特点结合安全电子交易协议,修改其部分协议规范,提出一种实际安全电子商务系统的应用方案。该方案能够解决电子图书在线交易系统的的公平性问题,同时能够保持原有的SET协议的安全性、可追究型和匿名性等电子商务协议的特点。
- 袁志祥叶红秦锋
- 关键词：INTERNET安全电子交易协议电子商务协议SET协议互联网
- 可达矩阵的Warshall算法实现被引量：12
- 2011年
- 通过图的矩阵表示可以得到图的很多重要性质,将邻接矩阵看作图的结点集的关系矩阵,由此可以产生可达矩阵,从而可以反映图中各结点间是否有路.可达矩阵可用W arshall算法求得,作者用VB实现了该算法.
- 叶红
- 关键词：邻接矩阵WARSHALL算法VB可达矩阵
- 基于颜色Petri网的密码协议的分析被引量：5
- 2002年
- 密码协议的成功设计是安全领域的关键问题之一,对密码协议进行形式化分析成为当前研究的热点。通过引入颜色Petri网来描述密码协议,并以TMN协议为例,利用Petri网的状态矩阵分析特性对其进行分析,发现并验证TMN协议的安全缺陷。最终说明利用Petri网分析密码协议是可行的。
- 袁志祥袁志祥蒋昌俊
- 关键词：颜色PETRI网密码协议密码算法形式化分析计算机网络
- SET协议的持卡人匿名性分析被引量：1
- 2010年
- 针对电子商务协议的Petri网模型中出现无法描述和演绎其逻辑推理过程的缺点,在传统Petri网基础上提出一种适合描述电子商务协议的信念Petri网。信念Petri网验证分析过程是先将电子商务协议或安全协议的协议规则分解成原始序列,对协议实体构造Petri网模型,对信道进行安全分析。以SET协议为分析对象,利用信念Petri网对SET协议的持卡人匿名性进行分析,结果说明SET协议的持卡人的隐私信息得到有效保护。
- 叶红袁志祥
- 关键词：SET协议匿名性
