دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Trustworthy Global Computing: 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers
دانلود کتاب محاسبه قابل توجه محاسبات جهانی: هشتمین همایش بین المللی TGC 2013، بوینس آیرس، آرژانتین، 30 تا 31 اوت 2013، مقالات منتخب تجدید نظر شده
مشخصات کتاب
Trustworthy Global Computing: 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers
ویرایش: 1
نویسندگان: Martín Abadi. Alberto Lluch Lafuente (eds.)
سری: Lecture Notes in Computer Science 8358
ISBN (شابک) : 9783319051185, 9783319051192
ناشر: Springer International Publishing
سال نشر: 2014
تعداد صفحات: 331
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 8 مگابایت
قیمت کتاب (تومان) : 43,000
کلمات کلیدی مربوط به کتاب محاسبه قابل توجه محاسبات جهانی: هشتمین همایش بین المللی TGC 2013، بوینس آیرس، آرژانتین، 30 تا 31 اوت 2013، مقالات منتخب تجدید نظر شده: امنیت سیستم ها و داده ها، منطق ریاضی و زبان های رسمی، برنامه های کاربردی سیستم های اطلاعاتی (شامل اینترنت)، سازماندهی سیستم های کامپیوتری و شبکه های ارتباطی
در صورت تبدیل فایل کتاب Trustworthy Global Computing: 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب محاسبه قابل توجه محاسبات جهانی: هشتمین همایش بین المللی TGC 2013، بوینس آیرس، آرژانتین، 30 تا 31 اوت 2013، مقالات منتخب تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب محاسبه قابل توجه محاسبات جهانی: هشتمین همایش بین المللی TGC 2013، بوینس آیرس، آرژانتین، 30 تا 31 اوت 2013، مقالات منتخب تجدید نظر شده
این کتاب مجموعه مقالات پس از کنفرانس با داوری کامل هشتمین سمپوزیوم بین المللی محاسبات قابل اعتماد جهانی، TGC 2013، که در بوئنوس آیرس، آرژانتین، در اوت 2013 برگزار شد، تشکیل شده است. بررسی و از بین 29 مورد ارسالی انتخاب شد. این مقالات طیف گسترده ای از موضوعات را در زمینه محاسبات جهانی و محاسبات ایمن و قابل اعتماد پوشش می دهند. آنها در بخش های موضوعی در مورد امنیت، π-حساب، جریان اطلاعات، مدل ها، مشخصات و اثبات ها و تجزیه و تحلیل کمی سازماندهی شده اند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Symposium on Trustworthy Global Computing, TGC 2013, held in Buenos Aires, Argentina, in August 2013. The 15 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 29 submissions. The papers cover a wide range of topics in the area of global computing and safe and reliable computation. They are organized in topical sections on security, π-calculus, information flow, models, specifications and proofs and quantitative analysis.
فهرست مطالب
Front Matter....Pages I-X
Front Matter....Pages 1-1
Content-Driven Reputation for Collaborative Systems....Pages 3-13
Challenges for Quantitative Analysis of Collective Adaptive Systems....Pages 14-21
The Scribble Protocol Language....Pages 22-41
Front Matter....Pages 43-43
Dynamic Measurement and Protected Execution: Model and Analysis....Pages 45-63
Security Correctness for Secure Nested Transactions....Pages 64-79
Front Matter....Pages 81-81
Types for Resources in $$\\psi $$ -calculi....Pages 83-102
A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract)....Pages 103-118
Timed $$\\pi $$ -Calculus....Pages 119-135
Towards Static Deadlock Resolution in the $$\\pi $$ -Calculus....Pages 136-155
Front Matter....Pages 157-157
Fine-Grained and Coarse-Grained Reactive Noninterference....Pages 159-179
Information Flow Analysis for Valued-Indexed Data Security Compartments....Pages 180-198
A Library for Removing Cache-Based Attacks in Concurrent Information Flow Systems....Pages 199-216
Front Matter....Pages 217-217
Specification of Asynchronous Component Systems with Modal I/O-Petri Nets....Pages 219-234
A Formal Model for the Deferred Update Replication Technique....Pages 235-253
Studying Operational Models of Relaxed Concurrency....Pages 254-272
Certificates and Separation Logic....Pages 273-293
Front Matter....Pages 295-295
On-the-fly Fast Mean-Field Model-Checking....Pages 297-314
Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations....Pages 315-330
Back Matter....Pages 331-331
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Hippocrates cried : the decline of American psychiatry
دانلود کتاب Die Kunst der Führung: Verhalten entwickeln, Führungspotenzial erweitern
