Automatic detection and demonstrator generation for information flow leaks in object-oriented programs
| Autor: | Do, Quoc Huy *, Bubel, Richard, Hähnle, Reiner |
|---|---|
| Zdroj: | In Computers & Security June 2017 67:335-349 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Do, Quoc Huy *, Bubel, Richard, Hähnle, Reiner |
|---|---|
| Zdroj: | In Computers & Security June 2017 67:335-349 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect