Automated synthesis and ranking of secure BPMN orchestrators (Articolo in rivista)

Type
Label
  • Automated synthesis and ranking of secure BPMN orchestrators (Articolo in rivista) (literal)
Anno
  • 2014-01-01T00:00:00+01:00 (literal)
Alternative label
  • V. Ciancia, J.A. Martin, F. Martinelli, I. Matteucci, M. Petrocchi, E. Pimentel (2014)
    Automated synthesis and ranking of secure BPMN orchestrators
    in International journal of secure software engineering (Print)
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • V. Ciancia, J.A. Martin, F. Martinelli, I. Matteucci, M. Petrocchi, E. Pimentel (literal)
Rivista
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • IIT-CNR, ISTI-CNR, UMA (literal)
Titolo
  • Automated synthesis and ranking of secure BPMN orchestrators (literal)
Abstract
  • We 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 orchestrator process is secure, that is, it does not allow disclosure of certain secret messages.In this work we present an implementation of a forth and back translation from BPMN to crypto-CCS, in such a way to exploit the PaMoChSA tool for synthesizing orchestrators.Furthermore, we study the problem of ranking orchestrators based on quantitative valuations of a process, and on the temporal evolution of such valuations and their security, as a function of the knowledge of the attacker. (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Prodotto
Autore CNR di
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi
Insieme di parole chiave di
data.CNR.it