A semi-graphical modeling framework for the automated analysis of networked systems security

The modeling and analysis of security properties in large and complex networked systems is more and more demanding for the availability of computer-assisted software tools able to help designers and engineers in describing and verifying their systems in an easy way. Indeed, on the one hand these tasks are usually cumbersome and error-prone when carried out manually, while on the other hand they have to be repeated during the whole system lifetime, starting with its conception and deployment and ending with the system final disposal. This paper presents a semi-automated framework which is conceived for the fine-grained description of networked systems from the security point of view. In particular, the paper shows how a simple graphical user interface allows the designer to largely ignore the syntax of the input language for the analysis tool and focus only on the implemented system characteristics.