位置：成果数据库 > 期刊 > 期刊详情页
电子邮件协议的非否认性形式化分析
  • ISSN号：1673-2065
  • 期刊名称：《衡水学院学报》
  • 时间：0
  • 分类：TP393.098[自动化与计算机技术—计算机应用技术;自动化与计算机技术—计算机科学与技术]
  • 作者机构：贵州大学计算机软件与理论研究所
  • 相关基金：贵州大学2009研究生创新基金(校研理工2009026)
作者： 崔楠
关键词： 电子商务协议, 非否认性, SVO逻辑, CMP1协议
中文摘要：

非否认性是考量电子商务协议的重要方面。SVO逻辑以其简洁的特点在协议的安全性验证方面被广泛应用。本文通过对SVO逻辑分析推理规则进行扩展,将其运用到对电子商务协议的非否认性的验证上,对CMP1进行了形式化分析。形式化分析的结果表明CMP1满足非否认性。

同期刊论文项目
　奥米矿物纤维在水泥混凝土和沥青混凝土中的应用
期刊论文 48
同项目期刊论文
生物肥料对油菜的促生及菌核病防治的研究
应用ERKO小鼠观察雌激素对痛觉的影响及ERs的作用特点
三疣梭子蟹不同部位肌肉主要营养成分分析
基于多通道Gabor滤波和2DPCA的虹膜识别算法
基于DFIG的大型风电场分层无功分配控制策略
提高优质水稻耿籼1号产量的优化施肥方案
中医院市场营销问题的思考
生物医学工程专业电子类课程考核方式的改革
影响我国男护士从业状况的原因分析与对策
视觉思维与电视节目类型的形成
以针刺为主的综合疗法治疗中风先兆症临床观察
上海市医师多点执业现状与对策分析
逼真教学问题解决情境中教师适应性专长表现的实验研究
江苏航空制造业发展方向和策略探讨
基于伯努利效应的疏浚离析器设计与试验
survivin和增殖细胞核抗原（PCNA）在鼻腔鼻窦恶性黑色素瘤（SNM）中的表达及其临床意义
含分布式电源配电网的扩展规划研究
什么知识最有价值：从常规专长到适应性专长——知识社会背景下对知识价值与学习目标的反思
论长吉图开发开放先导区与拟建中日韩自贸区的交织与互补
心理辅导在本科男护生专业思想教育中的应用
论中医院综合竞争力的构建
CBS结合PBL教学模式在心内科教学查房中的应用
资本主义生态危机探源与救赎——丹尼尔·A·科尔曼生态政治思想探析
基于网络辅助教学的研究性学习教学模式
宁夏银川市骨盆骨折流行病学研究
构建预防医学紧密型教学基地的实践与探索
论农民环境权益保护的依靠主体——以农村工业污染防治为视角
视觉思维与电视节目类型的稳定与创新
血浆纤维蛋白原及血小板计数与糖尿病足及其预后的关系
城镇化形势下廊坊市失地农民社会保障体系构建问题研究
从情感角度对思想政治教育人文关怀的思考
论如何加强现代中医院的管理
社区护士职业压力与心理健康的相关性研究
社区护理人员工作压力状况的调查
探究护理专科生学习动机与自我概念的关系
氮肥用量对油菜产量及氮素利用效率的影响
pH值对嗜镉菌吸附Cd^2＋的影响机理研究
视频研究在教师学习与专业发展中的运用
鬼谷子与梓橦山
22q11微缺失所致先心病的产前诊断
基于人工免疫方法的变压器故障诊断
海上风电场输电方式经济性的比较
临床护理人员分层管理和核心知识培养研究
填饲对鹅肥肝脂肪酸合成酶基因mRNA表达的影响
工科院校生物医学工程学科研究生工程能力培养
生物医学工程本科学风建设的探讨与实践
中和白细胞介素-17加重小鼠衣原体呼吸道感染
期刊信息
  • 《衡水学院学报》
  • 主管单位:河北省教育厅
  • 主办单位:衡水学院
  • 主编：魏彦红
  • 地址：河北省衡水市和平西路1088号
  • 邮编：053000
  • 邮箱：hsxyxb@vip.163.com
  • 电话：0318-6016559
  • 国际标准刊号：ISSN：1673-2065
  • 国内统一刊号：ISSN：13-1367/Z
  • 邮发代号:
  • 获奖情况:
  • 全国优秀社科学报，全国地方高校优秀学报，河北省...
  • 国内外数据库收录:
  • 中国国家哲学社会科学学术期刊数据库
  • 被引量:2470