位置：成果数据库 > 期刊 > 期刊详情页
一种改进的密码协议形式化模型
  • ISSN号：1000-9825
  • 期刊名称：软件学报
  • 时间：0
  • 页码：1746-1755
  • 语言：中文
  • 分类：TP309[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]解放军信息工程大学电子技术学院,河南郑州450004
  • 相关基金：Supported by the National Natural Science Foundation of China under Grant Nos.60503012, 90104005, 90204012 （国家自然科学基金）
  • 相关项目：分布式网络环境中自适应容忍入侵模型研究
作者： 张畅|王亚弟|郭渊博|韩继红|
关键词： 密码协议, 秘密性, 认证性, 形式化验证, cryptographic protocol, secrecy, authentication, formal verification
中文摘要：

多重集重写MSR（multiset rewriting）模型是一种基于多重集重写的协议形式化建模方法．从目前的研究成果来看，该模型并不完善．针对其攻击者模型验证协议存在的不足，对MSR模型进行了政进，并给出了基于MSR模型的秘密性和认证性描述．实践表明，对模型的改进进一步完善了原模型．

英文摘要：

MSR （multiset rewriting） model is a technique of protocol modeling based on multiset rewriting. According to the results of the current study, this model is not perfect. Since the intruder model of MSR model is not suitable for the verification of the protocol, it was improved. Using this model, the secrecy and authentication of the cryptographic protocols are described. The practice proves the improvement of the former model.

同期刊论文项目
分布式网络环境中自适应容忍入侵模型研究
期刊论文 68 会议论文 7 获奖 7 专利 2 著作 2
网上信息收集和分析的基础问题和模型研究
期刊论文 66 会议论文 19 著作 8
容忍入侵的入侵检测模型与检测方法研究
期刊论文 74 会议论文 22 获奖 2 著作 3
同项目期刊论文
垃圾短信的识别与追踪研究
A realizable quantum encryption algorithm for qubits
基于无监督聚类支持向量机的入侵检测方法研究
基于XML的次协调推理
一种动态自适应的网格负载平衡调度算法
多应用安全智能卡结构的研究
基于簇首节点的可信传感器网络路由
对基于证书认证机制的公平文件交换协议的分析和改进
CLOSET^＋：基于CLOSET的改进算法
基于Agent的网络漏洞扫描系统的设计与实现
基于扩频原理的秘密水印方案
一种新的频繁项集挖掘算法
基于SRP协议的Web服务移动agent访问控制研究
未知信道中的信息隐藏容量
GF（2^N）上线性化多项式根的存在性
基于图像的广义隐写分析
一种提高检测率的免疫优化模型
一个可公开验证签密方案的密码分析和改进
内容传递网络处理能力受限代理放置贪婪算法
一种基于树结构的网络渗透测试系统
无可信中心的秘密共享-多重签名方案
ID-Based Threshold Decryption Secure Against Chosen Plaintext Attack
空间网络一体化安全与可生存性体系结构及关键技术
一种安全协议入侵检测方法
内部威胁云模型感知算法
一种传感器网络访问控制机制
一种新的基于椭圆曲线密码体制的Ad hoc组密钥管理方案
UC安全的基于一次签名的广播认证
网络系统的可生存性研究综述
基于信息流分析的C代码安全编译技术研究
Formal Specification of the Intrusion-Tolerant System by Using Object-Z.
可生存网络系统的构建方法
LEO/MEO双层空间信息网中基于身份的群组密钥管理方案
反应式容侵系统入侵预测的混合式贝叶斯网络方法
门限Byzantine quorum系统及其在分布式存储中的应用
门限多重秘密共享方案
容忍入侵的密码协议自适应调整策略研究
密码协议的入侵检测模型设计与实现
一种蓝牙安全机制的密钥算法改进
NMR及NVP系统中表决算法分析与研究
基于服务器组的群组密钥协商机制
安全协议形式化分析方法
安全类型系统在编译技术中的应用研究
一种基于混合模式的密码协议入侵检测方法
基于大数表决机制的容忍入侵应用服务器设计
基于有限自动机的密码协议入侵检测方法
基于ECC一般访问结构的多重秘密共享方案
一种移动自组网中信任评估模型的设计
Self-Dual Permutation Codes over Finite Chain Rings
P2P中一种使用缓存和测量的节点选择模式
一种新的蠕虫防范方法
可信计算研究进展
关于正形置换多项式的注记
Optimistic fair exchange E-commerce protocol
可信计算软件栈的体系研究
无线PKI中具有安全代理的新型CA方案
Thermal Noise Random Number Generator Based on LFSR
基于混合遗传聚类的入侵检测算法
A Generic Solution to Realize Public Verifiability of Signcryption
Improvement of publicly verifiable authenticated encryption scheme
A New Approach of TPM Construction Based on J2810
Method of Homomorphic Encryption
Security Analysis of Broadcaster Group Key Exchange Protocols
Analysis and Application of Covert Channels of Internet Control Message Protocol
An Improved Grid Security Infrastructure by Trusted Computing
An Extended Hierarchical Trusted Model for Wireless Sensor Networks
A Dynamic Active Multicast Group Access Control Framework Based on Trust Management System
Evolutionary Random Sequence Generators Based on LFSR
Development of Trusted Computing Research
Design and Implementation of a Bootstrap Trust Chain
A Behavior-Based Remote Trust Attestation Model
A Forward Integrity and Itinerary Secrecy Protocol for Mobile Agents
The Mechanism about Key and Credential on Trusted Computing Platform and the Application Study
Homomorphism Key Agreement Based on RSA
XEN Virtual Machine Technology and Its Security Analysis
A Fast Attack Algorithm on the MD5 Hash Function
Pseudo Random Number Generator Based on Back Propagation Neural Network
可信计算平台中的密钥管理
U盘Linux防火墙系统设计与实现
一种基于演化算法进行句子抽取的多文档自动摘要系统SBGA
不使用Hash和Redundancy函数的认证加密方案
一种安全协议的形式化设计方法
一种轻量级的拒绝服务攻击检测方法
无尺度网络自适应管理策略
一种带回馈机制的新型网格资源发现算法的研究
带回馈机制网格资源发现算法在多域环境中的改进
对两个可转变认证加密方案的分析和改进
基于Schnorr数字签名和秘密分享的交换协议
基于核函数的入侵检测方法研究
WindowsPE病毒中的关键技术分析
Intrusion tolerance model by using partial replication
一种基于秘密共享的容忍入侵安全软件系统构建方案
可证明安全的WLAN Mesh接入认证协议
面向服务的分布式数据库系统的容忍入侵方法
一种基于角色和任务的访问控制模型
一种入侵容忍的密钥分发方案
一种数字取证完整性方案
容忍入侵的自适应安全通信系统模型与设计
Perfect Forward Secrecy of Authentication and Exc hange Protocols in Three Versions of WAPI
安全透明的无线传感器网络数据汇聚方案
WSANs中基于跳步数自适应的路由算法
基于m叉树与DH协议的组密钥协商协议
基于Hess签名的公开可验证签密方案
基于混沌序列的图像加密算法的安全性分析
对ICBGCM混沌图像加密算法的安全性分析
一种基于复合混沌序列的扩频水印算法
网格环境下基于灰色理论多属性综合信任评价模型
基于SOA的金融信息系统服务抗毁研究
网格环境下基于灰预测的信任评估模型
基于m叉树与DMDH假设的组密钥协商协议
基于C／S模式的通用安全群组通信方案研究
TTS群组密钥协商协议的安全性改进
基于混沌伪随机序列的流密码的分割攻击
容忍入侵服务器中组通信认证与访问控制机制
基于身份标识的MANET公开密钥管理方案
基于RSA的一般访问结构多重秘密共享方案
一种自适应容忍入侵的密码协议安全运行防护系统
基于混合混沌序列的对称图像加密算法设计
用秘密共享实现安全存储服务
掺Nd^3＋的Sr3Gd（BO3）3晶体的激光特性
A Mobile Accessible Closed Multi-Part Group Communication Scheme in IPv6 Network
一种基于WLANMESH网络中的EAP-TLS接入认证方案
Signcryption-Based Key Management for MANETs Applications in Mobile Commerce
基于分组到达率的802．11 DCF性能分析
一种图像加密算法的等效密钥攻击方案
基于随机Petri网的电信交换系统可生存性分析
一种基于DAA的强匿名性门限签名方案
有限负载下802．11 DCF的性能分析及优化
基于IEEE 802.11b网卡的WPA与WAPI集成接入方法
Intrusion Model for Intrusion Tolerance System by Using Capabilities of Attackers
Formal Specification of the Intrusion-Tolerant System by Using Object-Z
传感器网络拓扑的容错度与容侵度及其分析
基于攻击者能力的容侵系统入侵模型
Modeling Intrusion for Intrusion Tolerance System
Security Extension for Bresson-Chevassut-Pointcheval’s Model
WAPI 实施方案中的密钥协商协议的安全性分析
基于Hash函数的抗攻击无线无线认证方案
分布式系统中服务可生存性的定量分析
网络系统的可生存性研究综述
基于容忍入侵的数据库安全体系结构
基于身份密码系统下Canetti-Krawczyk模型的改进
An Efficient and Secure Fault-tolerant Conference-Key Distribution Protocol
先应秘密共享系统安全性的动态分析和评估
基于通用攻击结构的秘密共享方案及其化简
基于多代理的入侵检测数据收集模型
An Intrusion-tolerant Authorization and Authentication Scheme in Distributed Environments
Mobile IPv6中建立IPSec安全关联的一种新方法
面向服务的容忍入侵方法与设计
一种容错会议密钥分配方案设计与分析
一种可生存的数据库安全结构设计与实现
一种高效的具有用户匿名性的无线认证协议
一种容忍入侵结构的Z规格说明
分布式环境下一种实用的先应式秘密共享方法
一种容忍入侵的会议密钥分配方案
一种容错RSA签名方案设计与分析
Practical Secret Sharing Scheme Realizing Generalized Adversary Structure
A New Authentication Scheme with Anonymity for Wireless Environment
An Internet Key Exchange based on PKI
异步及不可靠链路环境下的先应式秘密共享
Security Extension for the Canetti-Krawczyk Model in Identity-based Systems
WAPI实施方案的安全性分析
基于自适应大数表决机制的容忍入侵模型
基于排序机制的全序广播与多播算法分类与性能分析
WAPI认证机制的性能和安全性分析
一种容忍入侵签名系统的可用性评估方法
“震荡波”蠕虫分析与防范
基于组件的软件系统可用性分析
容忍入侵的国内外研究现状及所存在的问题分析
Two-Stage Algorithm for Correlating the Intrusion Alerts
Fault Tolerant Approach for Data Encryption and Digital Signature Based on ECC System
Intrusion-Tolerant Based Survivable Model of Database System
A New and Efficient Secret Sharing in Graph-Based Prohibited Structures
可证明安全的基于802.11i 的漫游认证协议
一种高效的基于图的攻击结构的秘密共享方案
可生存网络系统的构建方法
WAPI实施方案中的密钥协商协议的安全性分析
可证安全的Internet密钥交换协议
一种有效的基于小波信息分布熵的图像检索技术
供应链环境下通用可组合安全的RFID通信协议
混淆中的控制变换研究
改进的非重复性包标记IP追踪方案
基于联合熵的多属性匿名度量模型
一种基于防火墙的蠕虫传播与控制模型
中国无线局域网安全标准认证机制的改进
重叠组情形下全序多播协议的研究与实现
移动Ad Hoc网络中自私节点的监测方法
基于熵理论的无线网络安全的模糊风险评估
用最大距离可分码构造理想门限体制
一种基于防火墙的校园网蠕虫传播模型
基于JBPM的测绘生产办公管理系统设计与实现
Authentication Methods for 802.11s Mesh Networks
Provable Efficient Certificateless Group Key Exchange Protocol
Provably Secure Identity-based Group Key Exchange Protocol
Malicious Code Modeling and Analysis in Weighted Scale-Free Networks
基于Hash函数的抗攻击无线认证方案
LPCA——分布式存储中的数据分离算法
一种无线Adhoc网络中恶意程序的传播模型
期刊信息
  • 《软件学报》
  • 北大核心期刊（2011版）
  • 主管单位:中国科学院
  • 主办单位:中国科学院软件研究所 中国计算机学会
  • 主编：赵琛
  • 地址：北京8718信箱中国科学院软件研究所
  • 邮编：100190
  • 邮箱：jos@iscas.ac.cn
  • 电话：010-62562563
  • 国际标准刊号：ISSN：1000-9825
  • 国内统一刊号：ISSN：11-2560/TP
  • 邮发代号:82-367
  • 获奖情况:
  • 2001年入选中国期刊方阵“双百期刊”,2000年荣获中国科学院优秀科技期刊一等奖
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,美国数学评论（网络版）,波兰哥白尼索引,德国数学文摘,荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:54609