Type system based on extended Spi calculus
Han Ji-hong · Computer Engineering and Applications Journal · 2007
The way which uses informal principles and formal rules to cryptographic protocols is probed in this paper.These principles and rules stem from traditional concepts of classification and information flow.The rules presented in this paper is a kind of typing rules based on extended Spi calculus.These rules guarantee that if a protocol typechecks,then it does not leak its secret inputs.