E-WASSI: Evolutionary Worldwide Application for System Security and Information

Nowadays, the Internet of Things and Operational Technology worlds are evolving thanks to the introduction in such environments of the IP protocol, which brings several benefits but at the same time has the main drawback of increasing the attack surface. Since the security of the devices belonging to those worlds is governed by security elements such as firewalls, NATing devices and IPS, E-WASSI proposes the introduction in these environments of components called the Guardians communicating each other through the use of a new-defined protocol called, precisely, WASSI with the goal of assessing and protecting such devices. The Guardians will leverage existing solutions in the context of network security and on top of that it will provide as a novelty functionalities to verify that those devices are acting as supposed. The role played by WASSI is to define packets sent or received by the components involved in a test campaign. This thesis focuses on the development and implementation of some test cases that will allow the Guardians to speak the WASSI protocol. The test cases are developed using TTCN-3, a technology specifically designed for testing and verification with the support of Titan which provides a compilation and execution environment.