- 期刊
On the Security Analysis of Protocols using Action Language
並列摘要
Formal security analysis is an integral part of any newly proposed security protocols. In this paper, we illustrate the formal security analysis of a protocol using Action Language (AL). The formal analysis of the protocol shows some important observations of the protocol's security claim. We provide a countermeasure to mitigate the flaws. It is shown that security protocol analysis using Action Language is an useful approach, and we believe that the work presented in the paper would encourage others to perform a formal analysis of similar protocols using ALSP.
延伸閱讀
- Chang, L. H. (2001). A Fast Prototyping Framework for Intrusion Detection [master's thesis, Chung Yuan Christian University]. Airiti Library. https://doi.org/10.6840/cycu200100190
- Tian, H. B., Chen, X. F., & Ding, Y. (2009). Analysis of Two Types Deniable Authentication Protocols. International Journal of Network Security, 9(3), 242-246. https://doi.org/10.6633/IJNS.200911.9(3).07
- Kim, H. Y., Lee, Y. H., Hong, S. M., & Yoon, H. S. (2006). Active Trial-and-error Attack on SASC Protocols. International Journal of Network Security, 2(2), 105-110. https://doi.org/10.6633/IJNS.200603.2(2).03
- Kartit, A., Idrissi, H. K., & Belkhouraf, M. (2016). Improved Methods and Principles for Designing and Analyzing Security Protocols. International Journal of Network Security, 18(3), 523-528. https://doi.org/10.6633/IJNS.201605.18(3).14
- Pontaza, R. (2016). On p-vectors, p-arrays and cryptographic protocols [master's thesis, National Taiwan University]. Airiti Library. https://doi.org/10.6342/NTU201610198