Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
General Engineering,General Materials Science,General Computer Science
Reference47 articles.
1. A Fast Method for Security Protocols Verification
2. Applying timed automata to model checking of security protocols;kurkowski;Handbook of Finite State Based Models and Applications,2012
3. A logic of authentication
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献