SULJE VALIKKO

avaa valikko

Susanne Göbel | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 3 tuotetta
Haluatko tarkentaa hakukriteerejä?



A Polynomial Translation of Mobile Ambients into Safe Petri Nets - Understanding a Calculus of Hierarchical Protection Domains
Susanne Göbel
Springer Fachmedien Wiesbaden (2016)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Käpt'n Life und seine Crew
Stefan Doose; Carolin Emrich; Susanne Göbel
AG SPAK Bücher (2013)
Kovakantinen kirja
33,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Käpt'n Life und seine Crew
Stefan Doose; Carolin Emrich; Susanne Göbel
AG SPAK Bücher (2014)
Irtolehti
38,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
A Polynomial Translation of Mobile Ambients into Safe Petri Nets - Understanding a Calculus of Hierarchical Protection Domains
49,60 €
Springer Fachmedien Wiesbaden
Sivumäärä: 66 sivua
Asu: Pehmeäkantinen kirja
Painos: 1st ed. 2016
Julkaisuvuosi: 2016, 28.01.2016 (lisätietoa)
Kieli: Englanti
Tuotesarja: BestMasters
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.   

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
A Polynomial Translation of Mobile Ambients into Safe Petri Nets - Understanding a Calculus of Hierarchical Protection Domainszoom
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste