Skip to Main content Skip to Navigation
Reports

Developing Secure Chemical Programs with Aspects

Alvaro Arenas 1, * Jean-Pierre Banâtre 2 Thierry Priol 2
* Corresponding author
2 PARIS - Programming distributed parallel systems for large scale numerical simulation
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, ENS Cachan - École normale supérieure - Cachan, Inria Rennes – Bretagne Atlantique
Abstract : This paper studies security engineering of distributed systems when following the chemical-programming paradigm, represented here by the High-Order Chemical Language (HOCL). We have analysed how to model secure systems using HOCL. Emphasis is on modularity, hence we advocate for the use of aspect-oriented techniques, where security is seen as a cross-cutting concern impacting the whole system. We show how HOCL can be used to model Virtual Organisations (VOs), exemplified by a VO system for the generation of digital products. We also develop security patterns for HOCL, including patterns for security properties such as authorisation, integrity and secure logs. The patterns are applied to HOCL programs following an aspect-oriented approach, where aspects are modelled as transformation functions that add to a program a cross-cutting concern.
Complete list of metadata

Cited literature [15 references]  Display  Hide  Download

https://hal.inria.fr/inria-00376800
Contributor : Thierry Priol <>
Submitted on : Monday, April 20, 2009 - 11:51:07 AM
Last modification on : Tuesday, June 15, 2021 - 4:30:24 PM
Long-term archiving on: : Friday, October 12, 2012 - 4:55:37 PM

File

tr-0166.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00376800, version 1

Citation

Alvaro Arenas, Jean-Pierre Banâtre, Thierry Priol. Developing Secure Chemical Programs with Aspects. [Research Report] 2008, pp.12. ⟨inria-00376800⟩

Share

Metrics

Record views

435

Files downloads

408