Developing Secure Chemical Programs with Aspects - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2008

Developing Secure Chemical Programs with Aspects


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.
Fichier principal
Vignette du fichier
tr-0166.pdf (175.23 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00376800 , version 1 (20-04-2009)


  • HAL Id : inria-00376800 , version 1


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


Gmail Facebook X LinkedIn More