Techniques And Tools For The Analysis of Networks And Complex Systems

The introduction of formal and semi-formal methods in the design and analysis of information systems has become more and more important, given the ever increasing need for safe, secure and reliable operation on the one hand and the growing complexity of the systems to be designed on the other hand. This is expecially true for concurrent and distributed systems, that are inherently complex and error prone.

Researches in this area span many aspects among which specification languages, verification techniques, and automated processing of formal specifications in general. Our group has more than two-decades research experience in these topics, and particularly on Formal Description Techniques (FDT) for communication protocols, as our initial works on LOTOS and Estelle date back to the end of the eighties.

The activities on the use of formal methods for the analysis and verification of security properties of networks, protocols and software are roughly twofold: on the one hand, in fact, reasearches are carried out to identify methods and tools that are able to exploit the advantages offered by new technologies in the area of communications and software security. On the other hand, new techniques are proposed, that rely on theoretical and experimental results, to enable the widespread adoption of automatic and/or semi-automatic tools based of formal techniques for the verification of security properties in real-world applications.

Reaserch activities on techniques and tools for the analysis of networks and complex systems are carried out in the framework of the ICT Department Project "Methodologies and Tools for the Design of Highly Complex Software-Intensive Systems" of the National Reasearch Council of Italy.