Towards Model Driven Design of Crypto Primitives and Processes

Abstract : To be understandable and reusable at large scale, also by non-experts in security, Crypto primitives must be implemented in a modular way, and come with well organized and well described processes to help understanding, foster adoption, and ensure a proper embedding in the applications they must protect. In this paper, we reap the benefits of the modular hardware and software architecture of the SEcube, and lift the issue of crypto-primitives management from the traditional code level to a model driven approach. On small examples, we illustrate the essential features of the approach concerning the modelling of cryptography primitives as SIBs and their organization in domain-specific SIB palettes. We also sketch how to use multifaceted taxonomies to provide compact yet expressive classifications, amounting to a semantic description of the security domain. We address in the issue of workflows by using models that ease the expression, analysis, control, and formal verification of inter- and intra-model control and data flow, though the adoption of the XMDD approach implemented in the DIME integrated modelling environment. A brief description of a home banking application sketches how in reality many of these security mechanisms need to work together in a safe and secure orchestration.
Type de document :
Communication dans un congrès
SAM: Sensor Array and Multichannel Signal Processing, Jul 2016, Rio de Janeiro, Brazil. CSREA Press, 9th IEEE Sensor Array and Multichannel Signal Processing Workshop (SAM), pp.152-158, 2016, 〈http://sam2016.cetuc.puc-rio.br〉
Liste complète des métadonnées

Littérature citée [17 références]  Voir  Masquer  Télécharger

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01444948
Contributeur : Caroline Lebrun <>
Soumis le : mardi 24 janvier 2017 - 14:06:10
Dernière modification le : jeudi 28 juin 2018 - 18:44:05
Document(s) archivé(s) le : mardi 25 avril 2017 - 17:33:42

Fichier

SAM9766.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : lirmm-01444948, version 1

Collections

Citation

Alberto Carelli, Giorgio Di Natale, Pascal Trotta, Tiziana Margaria. Towards Model Driven Design of Crypto Primitives and Processes. SAM: Sensor Array and Multichannel Signal Processing, Jul 2016, Rio de Janeiro, Brazil. CSREA Press, 9th IEEE Sensor Array and Multichannel Signal Processing Workshop (SAM), pp.152-158, 2016, 〈http://sam2016.cetuc.puc-rio.br〉. 〈lirmm-01444948〉

Partager

Métriques

Consultations de la notice

135

Téléchargements de fichiers

364