Contatto
Come acquistare
Consegna
Guida all'acquisto
Constraint-based Analysis of Security Properties
Inglese
127 b
Fino a 30 giorni per il reso
I clienti hanno acquistato anche
/
In brossura
34.59
€
/
Rigido
31.79
€
/
In brossura
11.99
€
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.
Informazioni sul libro
Inglese
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatarioPotrebbe interessarti anche
/
In brossura
26.89
€
/
In brossura
12.69
€
/
Rigido
69.49
€
Ciao! Sono Libroamiko, il tuo consulente di libri.
Come posso aiutarti?