Business process re-engineering
- 期刊名称ACM SIGGROUP Bulletin
- 作者Blyth, Andrew
- 卷第18卷
- 期第1期
- 印刷ISSN2372-7403
- 文件大小234.92KB
- 发表时间1997-04-01
- DOI10.1145/271159.271160
- 页码4-6
Secrecy types for asymmetric communicationMartı́n Abadi; Bruno Blanchet · 2003
Escape analysis for Java <sup>TM</sup>Blanchet, Bruno · ACM Transactions on Programming Languages and Systems · 2003
The Applied Pi CalculusAbadi, Martín; Blanchet, Bruno; Fournet, Cédric · Journal of the ACM · 2017
Escape analysis for object-oriented languagesBlanchet, Bruno · ACM SIGPLAN Notices · 1999
Verification of cryptographic protocols: tagging enforces terminationBruno Blanchet; Andreas Podelski · 2005
Automated verification of selected equivalences for security protocolsBruno Blanchet; Martín Abadi; Cédric Fournet · 2008
Just fast keying in the pi calculusAbadi, Martín; Blanchet, Bruno; Fournet, Cédric · ACM Transactions on Information and System Security · 2007
Security protocols: from linear to classical logic by abstract interpretationBruno Blanchet · 2005