![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 5219 || Formal Security Analysis of Electronic Software Distribution Systems
Harrison, Michael D., Sujan, Mark-AlexanderVolume:
10.1007/97
Year:
2008
Language:
english
DOI:
10.1007/978-3-540-87698-4_34
File:
PDF, 205 KB
english, 2008