Secure shared data-space coordination languages: A process algebraic survey
✍ Scribed by Riccardo Focardi; Roberto Lucchi; Gianluigi Zavattaro
- Book ID
- 104091886
- Publisher
- Elsevier Science
- Year
- 2006
- Tongue
- English
- Weight
- 290 KB
- Volume
- 63
- Category
- Article
- ISSN
- 0167-6423
No coin nor oath required. For personal study only.
✦ Synopsis
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 programs may run in an untrusted environment, new challenges come into play such as to provide a means to support security. In this paper we outline the most significant security threats emerging in this context and we present a survey, in a process algebraic setting, of the most interesting shared data-space coordination languages.