形式化的政策和程序通常用于建立和制度化的网络安全程序。
Formalized policies and procedures are typically used to establish and institutionalize a cyber security program.
为满足联锁软件黑箱测试的要求，对联锁软件安全性需求进行了分级形式化表达。
To meet the requirements for black box testing of CISS (Computer Interlocking safety critical Software), the safety requirements of CISS are denoted hierarchically and formally.
设计一个满足安全需求的协议非常困难，并且极易出错，因此利用形式化方法来检验安全协议引起了人们极大的关注。
Design of a protocol is a difficult and error-prone task, thus the use of formal methods that allow for the verification of such protocols has received increasing attention.
应用推荐