Constraint-based Analysis of Security Properties

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

Автор: Beata Sarna-Starosta

Език:

Корици: С меки корици

Издател: VDM Verlag

Наличност: Външен склад

Изпращаме след 14-21 дни

59.80 € 116.95 лв

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

Информация за книгата

Автор

Beata Sarna-Starosta

Език

Английски език

Корици

Книга - С меки корици

Издадена

2008

страници

160

EAN

9783639071863

ISBN

3639071867

Enbook ID

06816471

Издател

VDM Verlag

Теглоt

222

Размери

152 x 229 x 9

Пълно описание

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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Constraint-based Analysis of Security Properties

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също