...能对系统中所有的 主体对客体的访问进行控制，TCB不会被非法 篡改 A级安全级别 形式化证明的安全（Formally Proven Security） 最高安全级别，只包含一个安全级别A1 A1：类同与B3级，它的特色在于形式化 的顶层设计规格FTDS（Formal Top Level Design...
基于16个网页-相关网页
从一个实用系统出发，采用形式化的证明方法，分析了电子资金转帐系统中安全协议的保密性和可鉴别性。
From an application system, this paper analyzes the privacy and authenticity of a security protocol in the electronic fund transfer system with a formal proof method.
事实证明，串空间模型是分析安全协议的一种实用、直观和严格的形式化方法。
In facts SSM is a practical, intuitive and strict formal method for security protocol analysis.
并采用BAN认证逻辑对协议的安全性进行了形式化证明，也对协议的计算复杂性进行了定性分析。
Then the formalized security proof of the protocol using BAN authentication logic, and the qualitative analysis about its computing complexity are given.
应用推荐