A tool for the synthesis of cryptographic orchestrators (Contributo in atti di convegno)

Type
Label
  • A tool for the synthesis of cryptographic orchestrators (Contributo in atti di convegno) (literal)
Anno
  • 2012-01-01T00:00:00+01:00 (literal)
Alternative label
  • Vincenzo Ciancia, J. Antonio Martin, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Ernesto Pimentel (2012)
    A tool for the synthesis of cryptographic orchestrators
    in Model Driven Security Workshop, Innsbruck
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Vincenzo Ciancia, J. Antonio Martin, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Ernesto Pimentel (literal)
Pagina inizio
  • 1 (literal)
Pagina fine
  • 24 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#altreInformazioni
  • cnr.iit/2012-A2-011 (literal)
Note
  • Scopu (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • CNR-IIT, Pisa, Italy; E.T.S. Ingenier??a Inform?atica, Universidad de M?alaga; CNR-IIT, Pisa, Italy; CNR-IIT, Pisa, Italy; CNR-IIT, Pisa, Italy; 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 accessible 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, supporting different communication and cryptographic protocols. We present a theoretical model based on process algebra, partial model checking and logical satisfiability, plus an automated tool implementing the proposed theory. (literal)
Editore
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


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