The master thesis of Susanne Goebel 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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
