David von Oheimb. Formal Security Analysis in Industry, at the Example of Electronic Distribution of Aircraft Software (EDS). In Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006. pages 5, IEEE, 2006. [doi]
Abstract is missing.