1) Safety verification
安全性验证
1.
A goal-based automatic conversion approach for the safety verification of programs
一种为程序的安全性验证所设计的面向对象的自动转换方法
2.
This work provided a new framework for the safety verification of communication protocols.
采用接口技术对行为模型和属性模型进行组合约简,通过观察组合模型中错误状态是否可达来判定协议是否安全,为安全通信协议的安全性验证提供了一种新的框架。
2) program security validation
程序安全性验证
4) Safety analyze and verification
安全性﹑分析与验证
6) provable security
可证安全性
1.
For promoting the application of provable security in cryptography, the CMAC(Cipher-based Message Authentication Code)mode of block cipher is proved.
为了促进可证安全性在密码学中的应用,我们对基于分组密码算法验证模式的单向函数进行了证明。
2.
The validity of the provable security of counter with cipher block chaining message authentication code (CCM) mode and cipher-based message authentication code (CMAC) mode was studied and proved.
对分组密码算法CCM、CMAC加密模式进行描述,用可证安全性理论对它们进行相关研究和证明,并对各种证明情况在不同通信环境下的使用作出说明。
补充资料：安全性
安全性
safety
OnqU0nx，ng安全性(s司免ty)表示产品出现故障不会造成人员伤亡、职业病、设备损坏、财产损失或环境损害的产品固有的特性。对于航空航天载人飞行器、核电厂及化工厂等大型复杂系统而言，安全性为系统在规定条件下和规定的时间内，以可接受的危险风险完成规定功能的能力。 系统的安全性由安全性参数来度量，常用的安全性参数有事故率或事故概率、安全可靠度和损失率或损失概率。事故率或事故概率定义为:在规定的条件下和规定的时间内，系统的事故总次数与寿命单位总数之比，用百分数表示。当寿命单位总数用时间表示时，称为事故率;当用次数表示时，称为事故概率。安全可靠度定义为:在规定的条件下和规定的时间内，系统在执行任务过程中不发生由于系统或设备故障造成的灾难性事故的概率，用百分数表示。损失率或损失概率定义为:在规定的条件下和规定的时间内，系统的灾难性事故总次数与寿命单位总数之比，用百分数表示。当寿命单位总数用时间表示时，称为损失率;当用次数表示时，称为损失概率。 为满足现代复杂系统的安全性要求，应按照下列顺序采取各种安全措施: ①进行最小风险设计。首先在设计上消除风险，若不能消除已判断的危险，应通过设计方案的选择将其风险降低到规定的可接受水平。 ②采用安全装里。若采用①项措施不能消除危险或不能充分降低其有关的风险，则应通过采用永久性的、自动的或其他装置，使风险降低到可接受水平。 ③采用告警装置。若①项及②项措施都不能有效消除危险或不能充分降低其有关的风险，则应采取告警装置来检测危险状态，并向有关人员发出适当的告警信号。 ④制定专用规程和进行培训。若采取①、②和③项措施还不能充分降低其有关风险，则应制定专用的规程和进行培训。专用规程应包括人员防护设备的使用方法等。 系统的安全性涉及系统的设计、制造、试验、使用、维修和保障、包装、装卸、贮存、运输等各个领域。系统安全性工作的实施需要各个方面的协调和合作，要求各个专业学科参与安全性工作，才能经济有效地获得系统所要求的安全性水平，确保系统安全运行。 (曹天翔)
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条