Constraint-based Analysis of Security Properties di Sarna-Starosta Beata edito da VDM Verlag
Alta reperibilità

Constraint-based Analysis of Security Properties

Editore:

VDM Verlag

EAN:

9783639071863

ISBN:

3639071867

Pagine:
160
Formato:
Paperback
Lingua:
Tedesco
Acquistabile con o la

Descrizione Constraint-based Analysis of Security Properties

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.

Spedizione gratuita
€ 66.97€ 70.50
Risparmi:€ 3.53(5%)
o 3 rate da € 22.32 senza interessi con
Disponibile in 10-12 giorni
servizio Prenota Ritiri su libro Constraint-based Analysis of Security Properties
Prenota e ritira
Scegli il punto di consegna e ritira quando vuoi

Recensioni degli utenti

e condividi la tua opinione con gli altri utenti