Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Synthesis of Functional and Secure Processes"'
Publikováno v:
Engineering Secure Future Internet Services and Systems 2014, edited by Maritta Heisel, Wouter Joosen, Javier Lopez, Fabio Martinelli, 2014
info:cnr-pdr/source/autori:Jose A. Martìn, Fabio Martinelli, Ilaria Matteucci, Ernesto Pimentel, Mathieu Turuani/titolo:On the Synthesis of Secure Services Composition/titolo_volume:Engineering Secure Future Internet Services and Systems 2014/curatori_volume:Maritta Heisel, Wouter Joosen, Javier Lopez, Fabio Martinelli/editore:/anno:2014
Engineering Secure Future Internet Services and Systems ISBN: 9783319074511
Engineering Secure Future Internet Services and Systems
Maritta Heisel; Wouter Joosen; Javier Lopez; Fabio Martinelli. Engineering Secure Future Internet Services and Systems, LNCS 8431 (8431), Springer, pp.392, 2014, Lecture Notes in Computer Science, 978-3-319-07451-1
info:cnr-pdr/source/autori:Jose A. Martìn, Fabio Martinelli, Ilaria Matteucci, Ernesto Pimentel, Mathieu Turuani/titolo:On the Synthesis of Secure Services Composition/titolo_volume:Engineering Secure Future Internet Services and Systems 2014/curatori_volume:Maritta Heisel, Wouter Joosen, Javier Lopez, Fabio Martinelli/editore:/anno:2014
Engineering Secure Future Internet Services and Systems ISBN: 9783319074511
Engineering Secure Future Internet Services and Systems
Maritta Heisel; Wouter Joosen; Javier Lopez; Fabio Martinelli. Engineering Secure Future Internet Services and Systems, LNCS 8431 (8431), Springer, pp.392, 2014, Lecture Notes in Computer Science, 978-3-319-07451-1
International audience; Web service composition is one of the main research challenges of the last decades. Several frameworks have been developed to compose services in order to meet requirements and constraints imposed by a service consumer. Hereaf
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6d5363c06b7b14f4f1f66438223d87ca
https://publications.cnr.it/doc/294274
https://publications.cnr.it/doc/294274
Autor:
Ilaria Matteucci, Ernesto Pimentel, Marinella Petrocchi, Vincenzo Ciancia, Fabio Martinelli, José Antonio Martín
Publikováno v:
ARES
SecSE 2013, Regensburg, Germany, 03/09/2013
info:cnr-pdr/source/autori:Vincenzo Ciancia, Fabio Martinelli, Jose Antonio Martin, Ilaria Matteucci, Marinella Petrocchi, Ernesto Pimentel/congresso_nome:SecSE 2013/congresso_luogo:Regensburg, Germany/congresso_data:03%2F09%2F2013/anno:2014/pagina_da:/pagina_a:/intervallo_pagine
International journal of secure software engineering
(2014).
info:cnr-pdr/source/autori:V. Ciancia, J.A. Martin, F. Martinelli, I. Matteucci, M. Petrocchi, E. Pimentel/titolo:Automated synthesis and ranking of secure BPMN orchestrators/doi:/rivista:International journal of secure software engineering (Print)/anno:2014/pagina_da:/pagina_a:/intervallo_pagine:/volume
SecSE 2013, Regensburg, Germany, 03/09/2013
info:cnr-pdr/source/autori:Vincenzo Ciancia, Fabio Martinelli, Jose Antonio Martin, Ilaria Matteucci, Marinella Petrocchi, Ernesto Pimentel/congresso_nome:SecSE 2013/congresso_luogo:Regensburg, Germany/congresso_data:03%2F09%2F2013/anno:2014/pagina_da:/pagina_a:/intervallo_pagine
International journal of secure software engineering
(2014).
info:cnr-pdr/source/autori:V. Ciancia, J.A. Martin, F. Martinelli, I. Matteucci, M. Petrocchi, E. Pimentel/titolo:Automated synthesis and ranking of secure BPMN orchestrators/doi:/rivista:International journal of secure software engineering (Print)/anno:2014/pagina_da:/pagina_a:/intervallo_pagine:/volume
The authors describe a formal methodology for the automatic synthesis of a secure orchestrator for a set of BPMN processes. The synthesized orchestrator is able to guarantee that all the processes that are started reach their end, and the resulting o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d23801a138c2a684fd94401d6947bf2f
https://doi.org/10.1109/ares.2013.60
https://doi.org/10.1109/ares.2013.60
Autor:
Fabio Martinelli, Ilaria Matteucci
Publikováno v:
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
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
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. Indee
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=cnr_________::575999a7e285f84cdb0add2c056c064d
http://www.cnr.it/prodotto/i/278847
http://www.cnr.it/prodotto/i/278847
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.