论文信息 - Types for Security Protocols - 字舞流文

Types for Security Protocols

Riccardo Focardi | Matteo Maffei

[1] Martín Abadi,et al. Secrecy types for asymmetric communication , 2001, Theor. Comput. Sci..

[2] Martín Abadi,et al. Secrecy by typing in security protocols , 1999, JACM.

[3] Martín Abadi,et al. A calculus for cryptographic protocols: the spi calculus , 1997, CCS '97.

[4] Graham Steel,et al. Type-Based Analysis of PIN Processing APIs , 2009, ESORICS.