Constraint-based Analysis of Security Properties

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

Autor: Beata Sarna-Starosta

Język:

Oprawa: Miękka

Wydawca: VDM Verlag

Dostępność: Dostępna u dostawcy

Wysyłamy za 14-21 dni

259.37 zł

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

Informacje o książce

Autor

Beata Sarna-Starosta

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2008

strony

160

EAN

9783639071863

ISBN

3639071867

Enbook ID

06816471

Wydawca

VDM Verlag

Waga

222

Wymiary

152 x 229 x 9

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Constraint-based Analysis of Security Properties

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również