دانلود کتاب A Polynomial Translation of Mobile Ambients into Safe Petri Nets: Understanding a Calculus of Hierarchical Protection Domains
کتاب ترجمه چند جمله ای از محیط های متحرک به شبکه های پتری ایمن: درک یک حساب از حوزه های حفاظت از سلسله مراتبی نسخه زبان اصلی
دانلود کتاب ترجمه چند جمله ای از محیط های متحرک به شبکه های پتری ایمن: درک یک حساب از حوزه های حفاظت از سلسله مراتبی بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب A Polynomial Translation of Mobile Ambients into Safe Petri Nets: Understanding a Calculus of Hierarchical Protection Domains
نام کتاب : A Polynomial Translation of Mobile Ambients into Safe Petri Nets: Understanding a Calculus of Hierarchical Protection Domains
ویرایش : 1 ed.
عنوان ترجمه شده به فارسی : ترجمه چند جمله ای از محیط های متحرک به شبکه های پتری ایمن: درک یک حساب از حوزه های حفاظت از سلسله مراتبی
سری : BestMasters
نویسندگان : Susanne Göbel (auth.)
ناشر : Springer Vieweg
سال نشر : 2016
تعداد صفحات : IX, 66
[71]
ISBN (شابک) : 978-3-658-117 , 978-3-658-117
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 27 Mb
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
پایان نامه کارشناسی ارشد سوزان گوبل درک عمیقی از محاسبات محیط موبایل (MA) ایجاد می کند که برای استفاده از آن به عنوان یک زبان مدل سازی ضروری است. به جای اصطلاحات حساب دیفرانسیل و انتگرال، یک نمایش بسیار راحت‌تر از طریق درختان MA به طور طبیعی به منطقه کاربردی شبکه‌ها که در آن فرآیندها از حوزه‌های حفاظت سلسله مراتبی مانند فایروال‌ها عبور می‌کنند، نگاشت می‌شود. این کار اصول عملکرد MA را تحلیل می‌کند و ترجمه‌ای را به شبکه‌های پتری ایمن استخراج می‌کند. این به فرآیندهای MA دلخواه گسترش می‌یابد، اما محدود بودن شبکه و بنابراین تصمیم‌پذیری قابلیت دسترسی فقط برای فرآیندهای محدود تضمین شده است. ساختار در اندازه و کران فرآیند چند جمله ای است به طوری که تجزیه و تحلیل دسترس پذیری فقط PSPACE کامل است.
توضیحاتی در مورد کتاب به زبان اصلی :
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.
پست ها تصادفی