Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Gnesi S., Martinelli F., Mazzanti F., Petrocchi M. Formal modelling and verification in service-oriented computing. In: ERCIM News, vol. 70 pp. 27 - 28. Service-Oriented Computing. ERCIM, 2007.
Formal methods and tools are a popular means of analysing the correctness properties of computer network protocols, such as safety, liveness and security. First the protocol under scrutiny is described in a formal language, which often results in a more precise definition of its function. Subsequently, the properties to be analysed are specified in a suitable logic. Finally, to decide whether or not the protocol fulfils certain properties, automatic tools are used to analyse it. The outcome either proves the protocol to be correct with respect to the relevant properties or shows there to be a problem.
URL: http://ercim-news.ercim.org/content/view/214/408/
Subject Modelling
Service-Oriented Computing
D.2.4 Software/Program Verification. Formal methods
D.4.6 Security and Protection. Verification
K.6.5 Security and Protection
D.2.4 Software/Program Verification. Model checking

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional