A Polynomial Translation of Mobile Ambients into Safe Petri Nets Understanding a Calculus of Hierarchical Protection Domains 1st Edition by Susanne Göbel ISBN 9783658117658 3658117656

A Polynomial Translation of Mobile Ambients into Safe Petri Nets Understanding a Calculus of Hierarchical Protection Domains 1st Edition by Susanne Göbel – Ebook PDF Instant Download/Delivery: 9783658117658, 3658117656

Full download A Polynomial Translation of Mobile Ambients into Safe Petri Nets Understanding a Calculus of Hierarchical Protection Domains 1st Edition after payment

Product details:

ISBN 10: 3658117656

ISBN 13: 9783658117658

Author: Susanne Göbel

 The master thesis of Susanne Göbel generates the deep understanding of the Mobile Ambient (MA) calculus that is necessary to use it as a modeling language. Instead of calculus terms a much more convenient representation via MA trees naturally maps to the application area of networks where processes pass hierarchical protection domains like firewalls. The work analyses MA’s function principles and derives a translation into Safe Petri nets. It extends to arbitrary MA processes but finiteness of the net and therefore decidability of reachability is only guaranteed for bounded processes. The construction is polynomial in process size and bounds so that reachability analysis is only PSPACE-complete.   

Table of contents: 

1. Background

2. Translating MA Processes into Safe Petri Nets — The Idea

3. Translating MA Processes into Safe Petri Nets — Complete Construction

4. Further Remarks

People also search for:

 a polynomial is a monomial
    
a polynomial is a
    
a polynomial with four x-intercepts translation
    
a polynomial is an algebraic expression
    
a polynomial expression

Tags: Susanne Göbel, Polynomial Translation, Mobile Ambients, Safe Petri Nets, Calculus, Hierarchical Protection Domains