Formal modelling and analysis methods for cryptographic protocols based on traditional Dolev- Yao attacker model,in that the attackers based on their own knowledge and intercepted messages to send data to the protocol entity as far as possible have generated the execution sequences containing many redundant and false attacks. The attack sequence selection method based on attacks purpose model was presented in this paper. The attackers execute targeted execution sequence and effectively guide them to attack ...
| 
推荐 
点击下列相关研究机构和相关文献作者，可以直接查到这些机构和作者被《中国知识资源总库》收录的其它文献，使您全面了解该机构和该作者的研究动态和历史。
