PUMA
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.
 
 
Abstract
(English)
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
Verification
Security
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