Information Flow Security in Tree-Manipulating Processes: Verifying Safety Hyperproperties Using Abstract Interpretation and Model Checking - Máté Kovács
-30% with code BOOKS
Shipping in 12-18 days
30-day return policy
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 proper ... Full description
You May Also Like
TOP
If Anyone Builds It, Everyone Dies: Why Superhuman AI Would Kill Us All
Eliezer Yudkowsky, Nate Soares
-30% with code BOOKS
In stock at our supplier
TOP
The 21st Century Brain: Cutting edge neuroscience to help us navigate the future
-30% with code BOOKS
In stock at our supplier
TOP
Gödel, Escher, Bach: An Eternal Golden Braid
-30% with code BOOKS
In stock at our supplier
TOP
AI Engineering: Building Applications with Foundation Models
-30% with code BOOKS
In stock at our supplier
TOP
Empire of AI: Dreams and Nightmares in Sam Altman's OpenAI
-30% with code BOOKS
In stock at our supplier
TOP
Python Crash Course: A Hands-On, Project-Based Introduction to Programming
-30% with code BOOKS
In stock at our supplier
TOP
How To Think About AI: A Guide For The Perplexed
-30% with code BOOKS
In stock at our supplier
TOP
The Rust Programming Language
Steve Klabnik, Carol Nichols, Chris Krycho
-30% with code BOOKS
In stock at our supplier
TOP
How to Talk to AI: (And How Not To)
-30% with code BOOKS
In stock at our supplier
TOP
The Pragmatic Programmer: journey to mastery, 20th Anniversary Edition, 2/e: your journey to mastery, 20th Anniversary Edition
-30% with code BOOKS
In stock at our supplier
TOP
Hackers. 25th Anniversary Edition: Heroes of the Computer Revolution
-30% with code BOOKS
In stock at our supplier
TOP
The Art of Game Design: A Book of Lenses
-30% with code BOOKS
In stock at our supplier
TOP
How Linux Works: What Every Superuser Should Know
-30% with code BOOKS
In stock at our supplier
TOP
Hands-On Large Language Models: Language Understanding and Generation
Maarten Grootendorst, Jay Alammar
-30% with code BOOKS
In stock at our supplier
TOP
Fundamentals of Software Architecture: A Modern Engineering Approach
-30% with code BOOKS
In stock at our supplier
TOP
Slanted 47 Digital Tools: Slanted Magazine
-30% with code BOOKS
In stock at our supplier
TOP
Linux Basics for Hackers, 2nd Edition: Getting Started with Networking, Scripting, and Security in Kali
-30% with code BOOKS
In stock at our supplier
TOP
Deep Learning: Foundations and Concepts
Christopher M. Bishop, Hugh Bishop
-30% with code BOOKS
In stock at our supplier
TOP
HBR Guide to Generative AI for Managers
-30% with code BOOKS
In stock at our supplier
Description
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.
More Information
| Author | Máté Kovács |
|---|---|
| Publisher | Südwestdeutscher Verlag für Hochschulschriften AG Co. KG |
| Release year | 2014 |
| Cover type | Softcover |
| EAN | 9783838138800 |