A tool for the synthesis of cryptographic orchestrators (Rapporti tecnici/preprint/working paper)

Type
Label
  • A tool for the synthesis of cryptographic orchestrators (Rapporti tecnici/preprint/working paper) (literal)
Anno
  • 2012-01-01T00:00:00+01:00 (literal)
Alternative label
  • Ciancia, Vincenzo ; Martin, Antonio ; Martinelli, Fabio ; Matteucci, Ilaria ; Petrocchi, Marinella ; Pimentel, Ernesto (2012)
    A tool for the synthesis of cryptographic orchestrators
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Ciancia, Vincenzo ; Martin, Antonio ; Martinelli, Fabio ; Matteucci, Ilaria ; Petrocchi, Marinella ; Pimentel, Ernesto (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#altreInformazioni
  • ID_PUMA: /cnr.iit/2012-TR-012 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • CNR-IIT, Pisa ; E.T.S. Ingeniería Informática, Universidad de Málaga ; CNR-IIT, Pisa ; CNR-IIT, Pisa ; CNR-IIT, Pisa ; E.T.S. Ingenier??a Inform?atica, Universidad de M?alaga (literal)
Titolo
  • A tool for the synthesis of cryptographic orchestrators (literal)
Abstract
  • Security is one of the main challenges of service oriented computing. Services need to be loosely coupled, easily ac- cessible and yet provide tight security guarantees enforced by cryptographic protocols. In this paper, we address how to automatically synthesize an orchestrator process able to guarantee the secure composition of electronic services, sup- porting different communication and cryptographic proto- cols. We present a theoretical model based on process alge- bra, partial model checking and logical satisfiability, plus an automated tool implementing the proposed theory. (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Prodotto
Autore CNR di
Insieme di parole chiave di
data.CNR.it