Search


Volume

Author

Year

  • < Previous
  • 1
  • Next >
2 results

Discovering, quantifying, and displaying attacks

Roberto Vigo ; Flemming Nielson ; Hanne Riis Nielson.
In the design of software and cyber-physical systems, security is often perceived as a qualitative need, but can only be attained quantitatively. Especially when distributed components are involved, it is hard to predict and confront all possible attacks. A main challenge in the development of&nbsp;[&hellip;]
Published on April 27, 2017
Volume 12, Issue 4

A Coordination Language for Databases

Ximeng Li ; Xi Wu ; Alberto Lluch Lafuente ; Flemming Nielson ; Hanne Riis Nielson.
We present a coordination language for the modeling of distributed database applications. The language, baptized Klaim-DB, borrows the concepts of localities and nets of the coordination language Klaim but re-incarnates the tuple spaces of Klaim as databases. It provides high-level abstractions and&nbsp;[&hellip;]
Published on March 17, 2017
Volume 13, Issue 1
  • < Previous
  • 1
  • Next >