Automated Formal Verification of Application-specific Security Properties.
Saved in:
| Title: | Automated Formal Verification of Application-specific Security Properties. |
|---|---|
| Authors: | Bettassa Copet, Piergiuseppe, Sisto, Riccardo |
| Source: | Engineering Secure Software & Systems: 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings; 2014, p45-59, 15p |
| Database: | Complementary Index |
| ISBN: | 9783319048963 |
|---|---|
| DOI: | 10.1007/978-3-319-04897-0_4 |