Secure shared data-space coordination languages: A process algebraic survey

Abstract

Shared data-space coordination languages, which provide a means to program interactions between decoupled entities abstracting away from their internal behavior, represent a powerful framework for programming network applications over the Internet and, in general, in open systems where the entities involved are not known a priori. In this context, where… (More)
DOI: 10.1016/j.scico.2005.07.011

Topics

3 Figures and Tables

Cite this paper

@article{Focardi2006SecureSD, title={Secure shared data-space coordination languages: A process algebraic survey}, author={Riccardo Focardi and Roberto Lucchi and Gianluigi Zavattaro}, journal={Sci. Comput. Program.}, year={2006}, volume={63}, pages={3-15} }