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, January 2007.

Download

Download paper: Adobe portable document (pdf)

Copyright notice:

Contact

Marie-Laure Potet

BibTex Reference

@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}
}

EndNote Reference [help]

Get EndNote Reference (.ref)