Just fast keying in the pi calculus
Abadi, Martín; Blanchet, Bruno; Fournet, Cédric
- 期刊名称ACM Transactions on Information and System Security
- 作者Abadi, Martín; Blanchet, Bruno; Fournet, Cédric
- 卷第10卷
- 期第3期
- 印刷ISSN1094-9224
- 文件大小717.95KB
- 发表时间2007-07-01
- DOI10.1145/1266977.1266978