协议冗余相关论文
随着当今电子化办公的普及,复合文档扮演着越来越重要的角色。而在文档传输和存储过程中,复合文档往往由于高误码而不能打开,致使......
为将量化分析方法引入安全协议分析中,以模态逻辑方法为基础定义了协议度量方法,并形式化地给出度量协议内容对协议安全目标满足度......
