User Interface for Process Calculus for DoS-attack Resistance Analysis
Abstract
We proposed a process calculus for Denial-of-Service attack resistance, Spice calculus, which is an extended variation of Milner’s pi-calculus, adding a type system for cost estimation. Though we have studied theoretical aspects of the calculus, a practical application has not yet been developed. In this paper, we design and implement a user interface of reasoning in the Spice calculus. In the user interface, we harmonize both command-line and graphical interfaces. We explain the user interface, giving an example of an actual execution.
Keywords
Process Calculus, User Interface, Interactive Reasoning
DOI
10.12783/dtcse/cst2017/12532
10.12783/dtcse/cst2017/12532
Refbacks
- There are currently no refbacks.