Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

security:euromicro:07 (In proceedings)
Author(s) Marco Aldinucci and Marco Danelutto
Title« The cost of security in skeletal systems »
InProc. of Intl. Euromicro PDP 2007: Parallel Distributed and network-based Processing
Editor(s) Pasqua D'Ambra and Mario Rosario Guarracino
Page(s)213-220
Year2007
PublisherIEEE
AddressNapoli, Italia
URLhttp://calvados.di.unipi.it/storage/paper_files/2007_security_PDP.pdf
Abstract
Skeletal systems exploit algorithmical skeletons technology to provide the user very high level, efficient parallel programming environments. They have been recently demonstrated to be suitable for highly distributed architectures, such as workstation clusters, networks and grids. However, when using skeletal system for grid programming care must be taken to secure data and code transfers across non-dedicated, non-secure network links. In this work we take into account the cost of security introduction in muskel, a Java based skeletal system exploiting macro data flow implementation technology. We consider the adoption of mechanisms that allow securing all the communications taking place between remote, unreliable nodes and we evaluate the cost of such mechanisms. In particular, we consider the implications on the computational grains needed to scale secure and insecure skeletal computations.

BibTeX code

@inproceedings{security:euromicro:07,
  month = feb,
  author = {Marco Aldinucci and Marco Danelutto},
  booktitle = {Proc. of Intl. Euromicro PDP 2007: Parallel Distributed and
               network-based Processing},
  editor = {Pasqua D'Ambra and Mario Rosario Guarracino},
  url = {http://calvados.di.unipi.it/storage/paper_files/2007_security_PDP.pdf},
  abstract = {Skeletal systems exploit algorithmical skeletons technology to
              provide the user very high level, efficient parallel programming
              environments. They have been recently demonstrated to be suitable
              for highly distributed architectures, such as workstation
              clusters, networks and grids. However, when using skeletal system
              for grid programming care must be taken to secure data and code
              transfers across non-dedicated, non-secure network links. In this
              work we take into account the cost of security introduction in
              muskel, a Java based skeletal system exploiting macro data flow
              implementation technology. We consider the adoption of mechanisms
              that allow securing all the communications taking place between
              remote, unreliable nodes and we evaluate the cost of such
              mechanisms. In particular, we consider the implications on the
              computational grains needed to scale secure and insecure skeletal
              computations.},
  address = {Napoli, Italia},
  title = {The cost of security in skeletal systems},
  publisher = {IEEE},
  year = {2007},
  pages = {213-220},
}


 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)

Valid HTML 4.01!