A Type System for Quantified Information-Flow Security in Java-Like Languages.
| Autor: | Shakoori, Gohar, Fallah, Mehran S., Iranmanesh, Zeinab |
|---|---|
| Zdroj: | 2016 11th International Conference on Availability, Reliability & Security (ARES); 2016, p464-473, 10p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|