Automated Synthesis and Ranking of Secure BPMN Orchestrators (Contributo in atti di convegno)

Type
Label
  • Automated Synthesis and Ranking of Secure BPMN Orchestrators (Contributo in atti di convegno) (literal)
Anno
  • 2013-01-01T00:00:00+01:00 (literal)
Alternative label
  • Vincenzo Ciancia, Fabio Martinelli, Jose Antonio Martin, Ilaria Matteucci, Marinella Petrocchi, Ernesto Pimentel (2013)
    Automated Synthesis and Ranking of Secure BPMN Orchestrators
    in SecSE 2013, Regensburg, Germany, 03/09/2013
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Vincenzo Ciancia, Fabio Martinelli, Jose Antonio Martin, Ilaria Matteucci, Marinella Petrocchi, Ernesto Pimentel (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • IIT-CNR, ISTI-CNR, E.T.S. Ingenier?a Informatica, Universidad de Malaga (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 discloure 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
Insieme di parole chiave di
data.CNR.it