From formal semantics to verified slicing : a modular framework with applications in language based security
Produktnummer:
188c0df4ee996c4806b95215132ad6c7c2
| Autor: | Wasserrab, Daniel |
|---|---|
| Themengebiete: | Formal Semantics Language Based Security Modularity Slicing Theorem Proving |
| Veröffentlichungsdatum: | 30.03.2011 |
| EAN: | 9783866445949 |
| Sprache: | Englisch |
| Seitenzahl: | 203 |
| Produktart: | Kartoniert / Broschiert |
| Verlag: | KIT Scientific Publishing |
Produktinformationen "From formal semantics to verified slicing : a modular framework with applications in language based security"
This book presents a modular framework for slicing in the proof assistant Isabelle/HOL which is based on abstract control flow graphs. Building on such abstract structures renders the correctness results language-independent. To prove that they hold for a specific language, it remains to instantiate the framework with this language, which requires a formal semantics of this language in Isabelle/HOL. We show that formal semantics even for sophisticated high-level languages are realizable.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen