Automated Secure Composition of Cryptographic Services

Autor:	Fabio Martinelli, Ilaria Matteucci
Jazyk:	angličtina
Rok vydání:	2013
Předmět:	Quantitative Security Secure Service Composition Synthesis of Functional and Secure Processes Process Algebras Cryptography partial model checking
Zdroj:	EUROPKI 2014, Egham, UK, 2013 info:cnr-pdr/source/autori:Fabio Martinelli, Ilaria Matteucci/congresso_nome:EUROPKI 2014/congresso_luogo:Egham, UK/congresso_data:2013/anno:2013/pagina_da:/pagina_a:/intervallo_pagine
Popis:	Security is one of the main aspects of Web Services composition. In this paper we describe a logical approach based on partial model checking technique and open system analysis for the verification and synthesis of secure service orchestrators. Indeed through this framework we are able to specify a system with a possible intruder and verify whether the whole system is secure, i.e., whether the system satisfies a given temporal logic formula that describes a correct behavior (security property). Moreover we are able to define an orchestrator operator able to orchestrate several services in such a way to guarantee both functional and security requirements.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=cnr_________::575999a7e285f84cdb0add2c056c064d http://www.cnr.it/prodotto/i/278847 Zobrazit plný text záznamu