Author:
Nishizaki Shin-ya,Tamano Hiroshi
Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press (1999)
2. Knuth, D., Bendix, P.: Simple word problems in universal algebras. In: Computational Problems in Abstract Algebra, pp. 264–296 (1970)
3. Necula, G.: Proof-Carrying Code. In: Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 106–109 (1997)
4. Tsukada, Y.: Interactive and provablistic proof of mobile code safety. Automated Software Engineering 12(2), 237–257 (2005)
5. Meadows, C.: A formal framework and evaluation method for network denial of service. In: Proceedings of the 12th IEEE Computer Security Foundations Workshop, pp. 4–13 (1999)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献