The security protocols analyzer using extensions of SPi-calculus
暂无分享,去创建一个
This paper is about the tool called Janus for automated analysis of security protocol models. The type checking method that is a modern extension of SPi-calculus was implemented in Janus. The tool is based on windows GUI application. It provides graphical schema of analysis process and textual reports. This paper contains brief description of type checking, sample of protocol modeling and analysis, tool"s design and description. We also tried to compare Janus with some analogues.
[1] Andrew D. Gordon,et al. Authenticity by typing for security protocols , 2003 .
[2] Martín Abadi,et al. A calculus for cryptographic protocols: the spi calculus , 1997, CCS '97.
[3] Maria Grazia Buscemi,et al. Experimenting with STA, a tool for automatic analysis of security protocols , 2002, SAC '02.