Contact
How to shop
Delivery
Shopping guide
Constraint-based Analysis of Security Properties
English
149 b
Up to 30 days for returns
Customers also purchased
/
Paperback
40.91
€
/
Hardback
30.40
€
/
Paperback
14.20
€
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.
About the book
English
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's addressYou might also be interested in
/
Paperback
15.60
€
/
Hardback
82.32
€
/
Paperback
25.70
€
Hi! I'm Libroamiko, your book advisor.
How can I help you?