Mohlo by sa vám tiež páčiť

Viac informácií o knihe Constraint-based Analysis of Security Properties

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 142 bodov

Anotácia knihy

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.

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer security Computer viruses, Trojans & worms

• Celý názov: Constraint-based Analysis of Security Properties
• Autor: Beata Sarna-Starosta
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 160
• EAN: 9783639071863
• ISBN: 3639071867
• ID: 06816471
• Nakladateľ: VDM Verlag
• Hmotnosť: 222 g
• Rozmery: 229 × 152 × 9 mm
• Dátum vydania: 12. November 2008

Obľúbené z iného súdka

---

---

---