Formal Security Analysis in Industry, at the Example of Electronic Distribution of Aircraft Software (EDS).

David von Oheimb Formal Security Analysis in Industry, at the Example of Electronic Distribution of Aircraft Software (EDS). 5 2006 ISoLA http://dx.doi.org/10.1109/ISoLA.2006.55 conf/isola/2006 db/conf/isola/isola2006.html#Oheimb06