Probabilistic Modeling and Analysis of DoS Protection for the ASV Protocol-Reference-Cited by-同舟云学术

Probabilistic Modeling and Analysis of DoS Protection for the ASV Protocol

Published:2009-03 Issue: Volume:234 Page:3-18
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

AlTurki Musab,Meseguer José,Gunter Carl A.

Publisher

Elsevier BV

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篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Building Correct-by-Construction Systems with Formal Patterns;Recent Trends in Algebraic Development Techniques;2023

2. Statistical Model Checking for $$\textsf {P}$$;Formal Methods for Industrial Critical Systems;2023

3. Bridging the semantic gap between qualitative and quantitative models of distributed systems;Proceedings of the ACM on Programming Languages;2022-10-31

4. N-Tube: Formally Verified Secure Bandwidth Reservation in Path-Aware Internet Architectures;P IEEE COMPUT SECUR;2022

5. Resource and timing aspects of security protocols;Journal of Computer Security;2021-05-07