协议形式化

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

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于用户同意的隐私保护协议形式化描述与验证被引量：1
《电子学报》2023年第7期1842-1849,共8页马丽 姜火文 彭云 
江西省社会科学基金项目(No.21TQ08D);江西省高校人文社会科学研究项目(No.JC22115);江西省自然科学基金项目(No.20224BAB202013)。
将用户同意与访问控制相结合是解决隐私保护的主要方法之一.然而,现有的隐私保护访问控制方法仅从数据控制者的角度,不考虑个人对访问决策的参与,无法满足自主可控的需求.为了解决这个问题,本文提出了一种基于用户同意的隐私保护访问控...
关键词：个人数据保护 隐私保护模型 隐私保护协议 访问控制 隐私授权 TLA+(Temporal Logic of Actions plus) 
基于SPIN的MIXCOIN协议形式化分析与验证被引量：1
《广西大学学报（自然科学版）》2020年第6期1404-1412,共9页王西忠 肖美华 杨科 宋佳雯 朱志亮 
国家自然科学基金资助项目(61562026,61962020);江西省主要学科学术和技术带头人资助计划项目(20172BCB22015)。
区块链混币机制协议是保障区块链安全和隐私的有效手段之一。MIXCOIN协议是一种典型的区块链混币机制协议,针对MIXCOIN协议可能存在泄漏用户地址关联性,导致协议不满足匿名性的问题,提出MIXCOIN协议形式化抽象表示方法,简化协议主体个数...
关键词：混币机制 MIXCOIN协议 匿名性 形式化方法 模型检测 
工业以太网EtherCAT协议形式化安全评估及改进被引量：8
《计算机研究与发展》2020年第11期2312-2327,共16页冯涛 王帅帅 龚翔 方君丽 
国家自然科学基金项目(61462060,61762060)。
EtherCAT协议由于具有较高的实时性和较强的性能而被广泛应用,但是随着工业以太网协议的快速发展和开放化,使得工业控制系统承受着巨大的网络攻击风险.目前有许多对工业以太网协议安全和改进的研究,但是这些研究缺乏对协议的形式化建模...
关键词：EtherCAT协议 FSoE CPN Dolev-Yao 安全评估 安全性验证 
基于重写逻辑的PKMv3协议形式化建模与验证
《计算机应用与软件》2017年第11期270-277,共8页佘葭 张民 
国家自然科学基金青年基金项目(61502171)
IEEE802.16m标准在MAC安全子层定义了密钥管理PKMv3协议,用于认证和授权信息的传输以及密钥的交换。由于宽带无线网络具有易遭受攻击的特性,引入入侵者模型分析密钥管理协议的安全机制。利用一种基于重写逻辑的形式化建模语言Maude,实现...
关键词：IEEE802. 16m 标准 PKMv3 协议 密钥管理 重写逻辑 MAUDE 语言 形式化验证 
基于通信顺序进程的计算机网络通信协议形式化描述被引量：1
《信息系统工程》2016年第2期124-124,共1页刘芳 
在当前的社会中,随着计算机技术、网络技术的不断发展,在人们的日常生活当中,对计算机网络的使用要求越来越高。在这样的情况之下,对于计算机网络通信协议的形式化描述越来越重要。在这一过程中,将通信顺序进程引入到可终止进程当中,同...
关键词：通信顺序进程 计算机网络通信协议 形式化描述 
Casper/FDR和串空间在物联网通信协议中的形式化分析被引量：4
《桂林理工大学学报》2014年第2期338-344,共7页吴名欢 程小辉 
国家自然科学基金项目(61262075);广西高等学校重大科研项目(20120120012)
通过应用实例研究了如何用Casper/FDR和串空间两种分析方法对通信协议进行形式化分析:用Casper/FDR对协议的有穷状态进行穷举验证,当发现协议漏洞时会自动给出攻击的迹,但是此方法会产生状态爆炸的问题;串空间方法正好可以解决状态爆炸...
关键词：CASPER FDR 协议形式化分析方法 串空间 
通信协议测试的形式化技术
《中央民族大学学报（自然科学版）》2013年第3期47-55,共9页段之宓 
自然语言协议的自动形式化是通信协议自动测试的前提,从而也是数据链协议自动测试的重要研究方向。此问题出现已久,但尚无可靠解决方案。隐词形理论和格语法是排岐能力很强的自然语言处理方法。运用此套方法。通过分析协议文本,确定隐...
关键词：通信协议 数据链 一致性测试 自然语言处理 协议形式化 隐词形理论 格语法 
协议形式化描述与一致性验证研究
《电脑知识与技术》2010年第4期2363-2364,2366,共3页李大伟 张守林 
该文基于Fcielogic_SDL_TTCN_Suite使用规范和描述语言（SDL：speci6cation and Description Language）以及树表结合表示法（TTCN：Tree and Tabular Combined Notation））探讨了协议的形式化描述与一致性验证问题．给出了协议形式化...
关键词：形式化描述 一致性验证 SDL 
移动代理完整性协议形式化分析方法研究被引量：2
《电子学报》2009年第8期1669-1674,共6页李鹏飞 马恒太 侯玉文 邱田 
国家自然科学基金(No.60573042);中国科学院创新基金(No.CXJJ251)
本文给出了移动代理协议数据完整性属性的定义,指出了采用传统认证性属性来分析移动代理数据完整性属性的不足,从而给出了移动代理完整性证明的两个形式化规约:数据完整性规约和序列完整性规约.在此基础上,针对典型协议实例进行CPS建模...
关键词：移动代理 数据完整性 形式化方法 形式化模型 
SET协议形式化模型的建立和安全性分析被引量：1
《计算机应用与软件》2009年第5期81-84,共4页张若岩 刘晓霞 张宏 
陕西省自然科学基金项目(20060F50);航空科学基金项目(06ZC31001)
安全电子交易SET(Secure Electronic Transaction)协议通过制定标准和采用各种加密算法和身份认证来解决阻碍电子商务发展的许多安全问题。首先对SET协议注册阶段和购买阶段过程进行抽象,给出其形式化模型及模型描述。发现由于SET本身...
关键词：SET协议 形式化模型 电子支付 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部