Author:
Abadi Martín,Blanchet Bruno
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Requirements Analysis;Embedded Systems;2013-09-20
2. A type system for data-flow integrity on Windows Vista;ACM SIGPLAN Notices;2009-02-28
3. An End-To-End Approach to Distributed Policy Language Implementation;Electronic Notes in Theoretical Computer Science;2007-07
4. Pattern-matching spi-calculus;Information and Computation;2006-08
5. Pattern-based abstraction for verifying secrecy in protocols;International Journal on Software Tools for Technology Transfer;2005-10-07