A Polynomial Translation of Mobile Ambients Into Safe Petri Nets: Understanding a Calculus of Hierarchical Protection Domains

by Susanne Gobel and 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...

• Format: Paperback
• Language: English
• ISBN: 3658117648
• ISBN13: 9783658117641
• Release Date: January 2016
• Publisher: Springer Vieweg
• Length: 66 Pages
• Weight: 0.25 lbs.
• Dimensions: 0.2" x 5.8" x 8.3"