Sarna-Starosta Beata: Constraint-based Analysis of Security
-
- Deutsch ausgewählt
59,00 €
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
01.11.2008
Verlag
VDMSeitenzahl
160
Maße (L/B/H)
22/15/1 cm
Gewicht
230 g
Sprache
Deutsch
ISBN
978-3-639-07186-3
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.
Ein neues Kapitel für Ihre Bücher
Ein neues Kapitel für Ihre Bücher
Schenken Sie Ihren alten Schätzen ein zweites Leben: Einfach Barcode scannen, Versandetikett ausdrucken, Bücher verschicken und Thalia Geschenkkarte erhalten.
Jetzt verkaufenKundinnen und Kunden meinen
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kund*innen durch Ihre Meinung
Kurze Frage zu unserer Seite
Vielen Dank für Ihr Feedback
Wir nutzen Ihr Feedback, um unsere Produktseiten zu verbessern. Bitte haben Sie Verständnis, dass wir Ihnen keine Rückmeldung geben können. Falls Sie Kontakt mit uns aufnehmen möchten, können Sie sich aber gerne an unseren Kund*innenservice wenden.
zum Kundenservice