面向语义的解释型测试程序集

通过对国内外研究工作的分析,提出了面向语义的解释型测试程序集描述方法。该方法采用具有完备性、独立性和灵活性的语义集合对具体的测试需求进行抽象,构建通用性较强的测试程序集,并为可扩展性提供了相应的接口。     

层次身份基认证密钥协商方案的安全性分析和改进

该文分析了曹晨磊等人(2014)提出的层次身份基认证密钥协商方案的安全性,指出该方案无法抵抗基本假冒攻击。文中具体描述了对该方案实施基本假冒攻击的过程,分析了原安全性证明的疏漏和方案无法抵抗该攻击的原因。然后,在BONEH等人(2005)层次身份基加密方案基础上提出了一种改进方案。最后,在BJM模型中,给出了所提方案的安全性证明。复杂度分析表明所提方案在效率上同原方案基本相当。