Riccardo Focardi;Roberto Gorrieri
-;-
Classification of security properties in a Linda-like process algebra
Science of Computer Programming - Special issue on security issues in coordination models, languages, and systems