CA:SP07

Nicolas Stouls, Marie-Laure Potet. Security Policy Enforcement Through Refinement Process. In Proc. of Formal Specification and Development in B, 7th International Conference of B Users (B2007), LNCS 4355, Pages 216-231, Janvier 2007.

Télécharger l'article

Charger l'article : Adobe portable document (pdf)

Copyright :

Contact

Marie-Laure Potet

Référence BibTex

@InProceedings{CA:SP07,
   Author = {Stouls, Nicolas and Potet, Marie-Laure},
   Title = {Security Policy Enforcement Through Refinement Process},
   BookTitle = {Proc. of Formal Specification and Development in B, 7th International Conference of B Users (B2007), LNCS 4355},
   Pages = {216--231},
   Publisher = {Springer-Verlag},
   Month = {January},
   Year = {2007}
}

Référence EndNote [help]

Charger la référence EndNote (.ref)