%0 Conference Proceedings
%F LeMetayer1-2007
%A Le Métayer, D.
%T IT security analysis: best practices and formal approaches
%B proc. Foundations of Security Analysis and Design IV (FOSAD)
%V 4677
%S LNCS
%I Springer
%D 2007