Automated Formal Verification of Application-specific Security Properties.
Uložené v:
| Názov: | Automated Formal Verification of Application-specific Security Properties. |
|---|---|
| Autori: | Bettassa Copet, Piergiuseppe, Sisto, Riccardo |
| Zdroj: | Engineering Secure Software & Systems: 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings; 2014, p45-59, 15p |
| Databáza: | Complementary Index |
| ISBN: | 9783319048963 |
|---|---|
| DOI: | 10.1007/978-3-319-04897-0_4 |