河北省自然科学基金(G2011203195) 作品数:11 被引量:36 H指数:3 相关作者: 司亚利 刘文远 王晗 张玲 卢贝 更多>> 相关机构: 燕山大学 更多>> 发文基金: 河北省自然科学基金 国家自然科学基金 河北省重大技术创新项目 更多>> 相关领域: 自动化与计算机技术 文化科学 交通运输工程 经济管理 更多>>
有穷机和逻辑结合的电子商务协议分析方法 被引量:1 2013年 提出一种扩展的有穷自动机模型,并结合卿-周逻辑给出一种新的电子商务协议形式化分析方法,用于分析电子商务协议的可追究性、公平性和时限性.该方法结合了模型检测和逻辑分析两种形式化分析方法的优点,可以准确形象地描述协议的具体运行过程,并且在发生重放攻击时能够正确分析各方的责任.利用该方法对Kim等人提出的改进版ZG协议进行了实例分析,给出了描述该协议运行过程的状态转换图,结合状态转换图对该协议分析得出其满足可追究性、公平性、时限性,并且不存在被重放攻击的可能.最后用时间自动机UPPAAL验证了新方法中有穷自动机模型的准确性和时限性分析的有效性. 刘文远 马生 司亚利 侯贵宾关键词:电子商务协议 形式化分析 有穷自动机 逻辑分析 一种基于数据两方垂直分布的多维关联规则挖掘算法 被引量:4 2014年 对垂直分布于不同站点的数据进行联合关联规则挖掘是一个重要的研究方向,然而已有的算法挖掘得到的都是全局单维关联规则,不能处理多维数据集并得到全局多维关联规则。针对此问题提出一种数据两方垂直分布条件下的多维关联规则挖掘算法TDDM(Two Part Vertically Distributed Data Mining),该算法结合数据立方体技术,直接在垂直分布于两方的数据上进行挖掘,得到多维关联规则。理论分析和实验结果表明,该算法可以有效挖掘数据两方垂直分布条件下的多维关联规则。 李海磊 王晗 孔令富 高慧星关键词:数据挖掘 数据立方体 多维关联规则 港口备件需求预测模型研究 2014年 港口备件需求预测具有影响因素多、非线性和历史数据较少的特点,给预测带来极大困难,采用适合于解决小样本、非线性和高维问题的最小二乘支持向量机(LS-SVM)对其进行预测,并针对LS-SVM参数选择的盲目性问题,引入了自适应变异粒子群算法(AMPSO),提出一种基于AMPSO-LSSVM的港口备件需求预测模型,通过对秦皇岛港某型备件的实例分析,验证了该模型的可行性。 宋之杰 付赞 王晗 侯贵宾关键词:最小二乘支持向量机 面向互联网开放平台保护用户隐私的关联规则挖掘算法 被引量:2 2015年 互联网开放平台提供的用户信息授权服务得到了广泛应用,但其在满足第三方网站的数据挖掘需求时往往将用户隐私信息交由多方存储,因而加重用户隐私滥用与泄露风险。针对这一问题,提出了一种开放平台与网站间的分布式关联规则挖掘算法,算法无须可信第三方参与,双方各自依据挖掘条件生成以频繁-1项集编号、用户身份标志符为行、列标记的布尔型矩阵,由开放平台进行矩阵扰动和整合,再由网站在整合矩阵上挖掘全局关联规则。实验证明该算法有效,且没有因通信代价而显著降低挖掘时间效率。 王晗 张玲关键词:隐私保护 分布式 关联规则挖掘 一种分析电子商务协议的知识与信念模型 被引量:2 2012年 针对现阶段电子商务协议形式化分析的处理比较混乱、表述精确度不高且通用性较差、存在一些不合理的假设等问题,运用现代模态逻辑理论,结合知识与信念,提出了一种分析电子商务协议的模型:知识与信念模型。该模型主要包含安全环境、知识集、信念集、能力集、切入点和知识化等因素。知识与信念模型很好地解决了上述问题,能够细致、精准地对各种电子商务协议进行形式化描述,并为不同的分析方法提供了模型支持。 刘文远 魏刚 司亚利关键词:电子商务协议 具有可传递性的聚合-再分离线可分电子现金方案 2013年 基于二叉树模型提出一种聚合-再分花费原则并构建一个新的具有可传递性的离线可分电子现金方案.方案中聚合-再分花费原则能够使二叉树上的每个节点都可以被花费,减少了银行在取款过程中的签名次数和存款过程中的运算量,同时能实现用户对商品的精确支付;在保证用户匿名性和电子现金信息量不随传递次数增加的前提下,实现了电子现金的可传递性.通过非形式化分析表明,该方案具有良好的安全性和高效性. 王常武 李颖 司亚利 刘文远关键词:可分电子现金 二叉树 可传递性 基于广义签密方案的多功能电子邮件协议研究 被引量:1 2014年 广义签密具有签密、签名和加密多功能的优势,适用于设计安全的电子邮件协议.为解决电子邮件协议中的安全问题,提出了一个新的无需可信任PKG的广义签密方案,并在此基础上设计一种能够发送私人邮件、公告邮件的多功能电子邮件协议.该协议利用密钥追溯技术解决私钥托管问题,利用身份认证技术有效地阻止垃圾邮件的接收,通过随机预言模型证明方案的安全性.分析表明,提出的协议有效地增强了邮件传输过程中信息的安全性,多功能特性提高了传统电子邮件协议的信息处理能力,方案的效率也有所提高. 司亚利 刘文远关键词:电子邮件协议 广义签密 随机预言模型 网络用户个人信息的敏感度研究 被引量:15 2012年 采用问卷调查的方式对中国网络用户个人信息的敏感度进行了研究。结果表明,调查中21项信息的敏感度存在差异,据此可将网络用户个人信息分为非常敏感、敏感、比较敏感和不敏感四类;网络情境对大多数个人信息的敏感度产生了显著影响;不同性别、年龄和学历的网络用户对个人信息的敏感度认识存在差异。 王晗 秦克飞关键词:网络用户 敏感度 个人信息保护 网络购物 社交网站 一种颜色Petri网的电子商务协议分析方法 被引量:1 2013年 针对现有颜色Petri网方法未能分析时限性的缺点,提出一种基于颜色Petri网的电子商务协议分析方法,用于分析可追究性、公平性和时限性三个重要安全属性.针对时限性建立了表示主体是否成功接收消息的状态颜色集和主体自定义的时间颜色集,并充分考虑时限性对公平性的影响,更加有效地分析公平性.文中以KZG协议为例,建立了KZG的分层颜色Petri网模型,利用CPN Tools工具对该模型仿真运行,并通过状态空间和查询函数分析了协议的性质,证明了本方法的有效性. 王宝文 卢贝 司亚利 刘文远关键词:形式化分析方法 电子商务协议 颜色PETRI网 CPN TOOLS 颜色Petri网的电子商务协议攻击分析方法 被引量:1 2014年 针对现有颜色Petri网方法较少分析电子商务协议存在重放攻击的问题,提出一种基于颜色Petri网的电子商务协议攻击分析方法,用于分析协议中可能存在的攻击。给出带有攻击者的具体建模方法和分析过程,提出从不可否认证据中提取敏感信息作为不安全状态的定义方法,并且采用逆向状态分析和CPN Tools仿真工具两种方法来分析颜色Petri网模型,得出协议的攻击结果。对CMP1协议进行实例分析,理论分析和实验结果表明了该方法的正确性和有效性。 司亚利 刘文远 卢贝关键词:电子商务协议 形式化分析 颜色PETRI网 重放攻击