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.