Newsletter

Ja, Ich möchte den Newsletter der AC Distribution & Marketing GmbH mit Neuigkeiten, Gutscheinen und Aktionen zu Musik-, Video-, Elektro-, Haushalts- und Geschenkartikeln per E-Mail erhalten. Meine Daten werden keinesfalls an Dritte weitergegeben. Die Abmeldung ist jederzeit kostenlos möglich.

  • Sie verwenden einen veralteten Webbrowser, weshalb es zu Problemen mit der Darstellung kommen kann. Bei Problemen mit der Bestellabgabe können Sie gerne auch telefonisch bestellen unter: 0848 250 450 (0,08 Fr/min)

Constraint-based Analysis of Security Properties

Sarna-Starosta:Constraint-based Analysi
Autor: Beata Sarna-Starosta
Verfügbarkeit: Auf Lager.
Artikelnummer: 1051220
ISBN / EAN: 9783639071863

Verfügbarkeit: sofort lieferbar

Fr. 88,00
Inkl. MwSt. , zzgl. Versandkosten

Produktbeschreibung

Model checking is a verification method developed to§test finite-state systems (e.g., communication§protocols, hardware circuits) against properties§expressed as formulas in temporal logic. The method§has proved successful in finding design flaws in many§real-life applications. Nevertheless,§models especially of software systems often tend to §have unbounded number of states. Traditionally,§verifying such systems using model checkers requires§first abstracting the systems into finite-state§models. We introduce a unified, automata-based§representation for infinite-state systems and linear§temporal logic properties, and describe a§model-checking technique for such specifications. We§exploit constraint solving and logic programming to§implement an efficient and robust infrastructure for§our model checker, and apply this implementation to§analyze vulnerabilities of computer systems and§configurations.

Zusatzinformation

Autor Verlag VDM Verlag Dr. Müller
ISBN / EAN 9783639071863 Bindung Taschenbuch

Sie könnten auch an folgenden Produkten interessiert sein

0 Kundenmeinungen

Bitte schreiben Sie uns Ihre Meinung zu: Constraint-based Analysis of Security Properties

  • Wenn Sie dieses Eingabefeld sehen sollten, lassen Sie es leer!