Mohlo by se vám také líbit

Více informací o knize Information Flow Security in Tree-Manipulating Processes

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 203 bodů

Anotace knihy

Enterprise workflows and web services may be highly security critical, because they may be in control of important processes of organizations, while communicating with external partners over the network. On the other hand, these technologies frequently represent data as XML documents, which can be modeled as trees. Therefore, this work introduces general methods to enforce and verify information flow properties of computer programs, which are later specialized to tree-manipulating processes. First, the class of programs are considered that implement transformations from initial states into final states. A runtime monitor and a static analysis are introduced for the enforcement and verification of the information flow properties of these programs. Later, a model checking approach is presented, in order to verify systems that exchange a potentially unbounded sequence of data values with their environment during an execution. In all of the methods discussed abstraction techniques are applied to overapproximate the sets of positions of secrets in the tree-shaped data-values before they are released to the environment.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Information technology: general issues

• Plný název: Information Flow Security in Tree-Manipulating Processes
• Autor: Máté Kovács
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 152
• EAN: 9783838138800
• ISBN: 3838138805
• ID: 05326705
• Nakladatelství: Sudwestdeutscher Verlag Fur Hochschulschriften AG
• Hmotnost: 231 g
• Rozměry: 229 × 152 × 9 mm
• Datum vydání: 23. July 2014

Oblíbené z jiného soudku

---

---

---