Automated Formal Verification of Application-specific Security Properties.
Gespeichert in:
| Titel: | Automated Formal Verification of Application-specific Security Properties. |
|---|---|
| Autoren: | Bettassa Copet, Piergiuseppe, Sisto, Riccardo |
| Quelle: | Engineering Secure Software & Systems: 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings; 2014, p45-59, 15p |
| Datenbank: | Complementary Index |
Schreiben Sie den ersten Kommentar!