Building more secure software is a recent concern for software engineers due to increasing
incidences of data breaches and other types of cyber attacks. However, software security …

Alloy is a formal language, which has been applied to modelling of systems in a wide range
of application domains. It is supported by Alloy Analyzer, a tool, which allows fully automated …

The modelling and verification of systems security is an open research topic whose
complexity and importance needs, in our view, the use of formal and non-formal methods …

Rapid technological advances in recent years have precipitated a general shift towards
software distribution as a central computing paradigm. This has been accompanied by a …

Abstract Model-driven engineering (MDE) is a software engineering approach based on
model transformations at different abstraction levels. It prescribes the development of …

The vast amount of connected devices on the Internet of Things (IoT) creates an enormous
potential for new applications, by leveraging synergies arising through the convergence of …

Critical infrastructures, usually designed to handle disruptions caused by human errors or
random acts of nature, define assets whose normal operation must be guaranteed to …

Modern systems are more and more complex and security has become a key component in
the success of software and systems development. The main challenge encountered in …

This paper describes BeAFix, a tool for automated repair of faulty Alloy models. The tool
builds upon the Alloy Analyzer, the analysis tool for Alloy. It generates repair candidates by …

Modern physical protection systems integrate a number of security systems (including
procedures, equipments, and personnel) into a single interface to ensure an adequate level …