Author:
AlTurki Musab,Meseguer José,Gunter Carl A.
Subject
General Computer Science,Theoretical Computer Science
Reference24 articles.
1. Just fast keying in the pi calculus;Abadi,2004
2. Gul Agha, Carl Gunter, Michael Greenwald, Sanjeev Khanna, José Meseguer, Koushik Sen, and Prasanna Thati. Formal modeling and analysis of DoS using probabilistic rewrite theories. In International Workshop on Foundations of Computer Security (FCS'05), 2005
3. PMaude: Rewrite-based specification language for probabilistic object systems;Agha;Electronic Notes in Theoretical Computer Science,2006
4. Semantic foundations for generalized rewrite theories;Bruni;Theor. Comput. Sci.,2006
5. Rohit Chadha, Carl A. Gunter, Jose Meseguer, Ravinder Shankesi, and Mahesh Viswanathan. Modular preservation of safety properties by cookie-based DoS-protection wrappers. In IFIP Formal Methods for Open Object-based Distributed Systems (FMOODS '08), Oslo, Norway, June 2008
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献