Document - A tool for the synthesis of cryptographic orchestrators

2012

Conference article Open Access

A tool for the synthesis of cryptographic orchestrators

Ciancia V., Martin J. A., Martinelli F., Matteucci I., Petrocchi M., Pimentel E.

Validation Software/Program Verification Model checking Formal methods

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.

Publisher: ACM

Metrics

Back to previous page

Cite as

BibTeX entry

@inproceedings{oai:it.cnr:prodotti:277001,
	title = {A tool for the synthesis of cryptographic orchestrators},
	author = {Ciancia V. and Martin J.  A. and Martinelli F. and Matteucci I. and Petrocchi M. and Pimentel E.},
	publisher = {ACM},
	doi = {10.1145/2422498.2422508},
	year = {2012}
}