Integrated Security Verification and Validation: Case Study - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

Integrated Security Verification and Validation: Case Study

Résumé

In most current approaches to software security, secu- rity flaws are fixed only after they have been exploited. To increase user confidence in software products, the software industry needs more proactive and durable security solu- tions by addressing security requirements throughout the software system lifecycle, including requirements and de- sign specification, testing, and maintenance phases. Appro- priate security analysis techniques must be used for each of these phases. In this paper, we illustrate an integrated se- curity analysis framework, which combines a quantitative design security analysis technique, with a static program analyzer, which tracks unsafe information flows. We illus- trate the framework by presenting a case study based on medical information card.
Fichier non déposé

Dates et versions

inria-00546614 , version 1 (14-12-2010)

Identifiants

Citer

Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-Ryl, Issa Traore, Yanguo Liu. Integrated Security Verification and Validation: Case Study. Proc. of the Second IEEE LCN Workshop on Network Security (WoNS 2006), held in conjunction with the 31st Annual IEEE Conference on Local Computer Networks (LCN 2006), 2006, Tampa, Florida, United States. pp.1000-1006, ⟨10.1109/LCN.2006.322215⟩. ⟨inria-00546614⟩
50 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More