Review Papers- SUMII Eijirou -
number of results to view: what to display: sort:
total:2
[2007]
1.Formal Verification of Cryptographic Protocols in the Spi Calculus.[Iwanami Shoten (Publisher) Bulletin of the Japan Society for Industrial and Applied Mathematics,17(4), (2007)]Eijiro Sumii
[2003]
2.Tutorial: Formal Verification of Encrypted Communication in spi-Calculus.[Iwanami Shoten (Publisher) Computer Software,20(6), (2003), 75-84]Eijiro Sumii
Pageļ¼š [1]
BackTop
copyright(c)2005 Tohoku University