Formal Security Analysis of Electronic Software Distribution Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Monika Maidl, David von Oheimb, Peter Hartmann, Richard Robinson. Formal Security Analysis of Electronic Software Distribution Systems. In Michael D. Harrison, Mark-Alexander Sujan, editors, Computer Safety, Reliability, and Security, 27th International Conference, SAFECOMP 2008, Newcastle upon Tyne, UK, September 22-25, 2008, Proceedings. Volume 5219 of Lecture Notes in Computer Science, pages 415-428, Springer, 2008. [doi]

This author has not been identified. Look up 'Monika Maidl' in GoogleThis author has not been identified. Look up 'David von Oheimb' in GoogleThis author has not been identified. Look up 'Peter Hartmann' in GoogleThis author has not been identified. Look up 'Richard Robinson' in Google

runs on WebDSL