位置：成果数据库 > 期刊 > 期刊详情页
Formal Specification of the Intrusion-Tolerant System by Using Object-Z.
  • ISSN号：1607-9264
  • 期刊名称：Journal of Internet Technology
  • 时间：0
  • 页码：69-75
  • 语言：英文
  • 相关项目：分布式网络环境中自适应容忍入侵模型研究
作者： GUO Yuanbo|MA Jianfeng|ZHANG Huanguo|
同期刊论文项目
分布式网络环境中自适应容忍入侵模型研究
期刊论文 68 会议论文 7 获奖 7 专利 2 著作 2
同项目期刊论文
空间网络一体化安全与可生存性体系结构及关键技术
一种安全协议入侵检测方法
内部威胁云模型感知算法
一种传感器网络访问控制机制
一种新的基于椭圆曲线密码体制的Ad hoc组密钥管理方案
UC安全的基于一次签名的广播认证
网络系统的可生存性研究综述
基于信息流分析的C代码安全编译技术研究
可生存网络系统的构建方法
LEO/MEO双层空间信息网中基于身份的群组密钥管理方案
反应式容侵系统入侵预测的混合式贝叶斯网络方法
门限Byzantine quorum系统及其在分布式存储中的应用
门限多重秘密共享方案
容忍入侵的密码协议自适应调整策略研究
密码协议的入侵检测模型设计与实现
一种蓝牙安全机制的密钥算法改进
NMR及NVP系统中表决算法分析与研究
基于服务器组的群组密钥协商机制
安全协议形式化分析方法
安全类型系统在编译技术中的应用研究
一种基于混合模式的密码协议入侵检测方法
基于大数表决机制的容忍入侵应用服务器设计
基于有限自动机的密码协议入侵检测方法
基于ECC一般访问结构的多重秘密共享方案
一种移动自组网中信任评估模型的设计
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的性能分析及优化