Constraint-based Analysis of Security Properties

Name: Constraint-based Analysis of Security Properties
Brand: VDM Verlag
SKU: 9783639071863
Price: 1377 CZK
Availability: InStock

Autor: Beata Sarna-Starosta

Jazyk:

Vazba: Brožovaná

Vydavatel: VDM Verlag

Dostupnost: Skladem u dodavatele

Odesíláme za 14-21 dnů

1 377 Kč

Model checking is a verification method developed to§test finite-state systems (e.g., communication§...

Informace o knize

Autor

Beata Sarna-Starosta

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2008

Stránek

160

EAN

9783639071863

ISBN

3639071867

Enbook ID

06816471

Vydavatel

VDM Verlag

Hmotnost

222

Rozměry

152 x 229 x 9

Kompletní popis

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.

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Constraint-based Analysis of Security Properties

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také