Considering the data flow description in protocol security testing, mutation analysis is introduced based on constructed type algebra, and a new protocol security testing method is proposed.
针对协议安全测试中数据流的描述问题，在构造类别代数的基础上引入变异分析，由此提出了一种协议安全测试方法。
The National Institute of Standards and Technology (NIST) has revised its testing requirements for security products that use the security Content Automation Protocol (SCAP).
美国国家标准与技术研究院(NIST)已修订了其使用安全内容自动化协议(SCAP)的安全产品的测试要求。
应用推荐