协议形式化

作品数：24被引量：38H指数：4
导出分析报告
相关领域：自动化与计算机技术电子电信更多>>
相关作者：顾翔赵保华屈玉贵赵静邱建林更多>>
相关机构：中国科学技术大学兰州理工大学南通大学天津大学更多>>
相关期刊：《计算机工程与设计》《微电子学与计算机》《桂林理工大学学报》《计算机应用与软件》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划江苏省高校自然科学研究项目博士科研启动基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机应用与软件x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于重写逻辑的PKMv3协议形式化建模与验证
《计算机应用与软件》2017年第11期270-277,共8页佘葭 张民 
国家自然科学基金青年基金项目(61502171)
IEEE802.16m标准在MAC安全子层定义了密钥管理PKMv3协议,用于认证和授权信息的传输以及密钥的交换。由于宽带无线网络具有易遭受攻击的特性,引入入侵者模型分析密钥管理协议的安全机制。利用一种基于重写逻辑的形式化建模语言Maude,实现...
关键词：IEEE802. 16m 标准 PKMv3 协议 密钥管理 重写逻辑 MAUDE 语言 形式化验证 
SET协议形式化模型的建立和安全性分析被引量：1
《计算机应用与软件》2009年第5期81-84,共4页张若岩 刘晓霞 张宏 
陕西省自然科学基金项目(20060F50);航空科学基金项目(06ZC31001)
安全电子交易SET(Secure Electronic Transaction)协议通过制定标准和采用各种加密算法和身份认证来解决阻碍电子商务发展的许多安全问题。首先对SET协议注册阶段和购买阶段过程进行抽象,给出其形式化模型及模型描述。发现由于SET本身...
关键词：SET协议 形式化模型 电子支付 
基于标号有限状态机的协议形式描述与验证
《计算机应用与软件》1998年第3期9-14,45,共7页李腊元 
国家自然科学基金;湖北省自然科学基金
本文论述了协议的形式描述与验证的主要技术,讨论了基于标号有限状态机的形式描述与验证问题,给出了应用实例。
关键词：计算机网络 有限状态机 协议形式化 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部