- Full text PDF available (4)
It is now widely accepted that formal methods are helpful for many issues raised in the web services area. In this paper, we advocate the use of process algebra as a first step in the design and development of executable web services. From such formal descriptions, reasoning tools can be used to validate their correct execution. We define some guidelines to… (More)
Web services emerged recently as a promising way to develop applications through the Internet. Nowadays, an increasing number of companies and organizations only implement their core business and outsource other application services over Internet. A central challenge is the development of modelling techniques and tools for enabling the (semi)-automatic… (More)
This paper presents the recent research advances in ATM (Air Traffic Management) industry showcasing the solution envisaged for the GAMMA Project and demonstrating how the cyber threat intelligence is used to support ATM security management.