Author:
Shibayama Etsuya,Hagihara Shigeki,Kobayashi Naoki,Nishizaki Shin-ya,Taura Kenjiro,Watanabe Takuo
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Affeldt, R., Kobayashi, N.: Formalization and Verification of a Mail Server in Coq. Proc. of International Symposium on Software Security, in this volume, 2003.
2. Aleph One: Smashing the Stack for Fun and Profit, Phrack, 49(7), 1996, http://www.phrack.org/leecharch.php?p=49
3. Baratloo, A., Singh, N., Tsai, T.: Transparent Run-Time Defense Against Stack-Smashing Attacks. Proc. of USENIX Annual Conference, 2000.
4. Bernstein, D. J.: The Qmail Security Guarantee.
5. Burrows, M., Abadi, M., Needham, R.: A Logic of Authentication. Proc. of the Royal Society, Series A 426, 233–271, 1989.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献