错误覆盖率相关论文
使用完备的有限状态机生成一致性测试集虽然有效，但数量庞大。针对该问题，考虑一般系统访问控制的基本需求，提出6种探索式方法对有限......
安全关键分布式系统面临恶意窃听和错误注入攻击的挑战。以往研究主要针对防止恶意窃听,即考虑提供保密性服务,而忽略了错误注入的......
