LeMetayer1-2007

D. Le Métayer. IT security analysis: best practices and formal approaches. In proc. Foundations of Security Analysis and Design IV (FOSAD), LNCS, Volume 4677, 2007.

BibTex Reference

@InProceedings{LeMetayer1-2007,
   Author = {Le Métayer, D.},
   Title = {IT security analysis: best practices and formal approaches},
   BookTitle = {proc. Foundations of Security Analysis and Design IV (FOSAD)},
   Volume = {4677},
   Series = {LNCS},
   Publisher = {Springer},
   Year = {2007}
}

EndNote Reference [help]

Get EndNote Reference (.ref)