برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید

09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

دانلود کتاب ساخت و تجزیه و تحلیل دستگاه های هوشمند، امن، و سازگار با یکدیگر: کارگاه بین المللی، CASSIS 2004، مارسی، فرانسه، 10-14 مارس 2004، مقالات منتخب تجدید نظر شده

مشخصات کتاب

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

دسته بندی: ساخت و ساز
ویرایش: 1 
نویسندگان: David Aspinall,  Stephen Gilmore (auth.),  Gilles Barthe,  Lilian Burdy,  Marieke Huisman,  Jean-Louis Lanet,  Traian Muntean (eds.)  
سری: Lecture Notes in Computer Science 3362 : Security and Cryptology 
ISBN (شابک) : 9783540242871, 3540242872 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2005 
تعداد صفحات: 266 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت

قیمت کتاب (تومان) : 49,000

کلمات کلیدی مربوط به کتاب ساخت و تجزیه و تحلیل دستگاه های هوشمند، امن، و سازگار با یکدیگر: کارگاه بین المللی، CASSIS 2004، مارسی، فرانسه، 10-14 مارس 2004، مقالات منتخب تجدید نظر شده: مهندسی نرم افزار، سیستم های مبتنی بر هدف و کاربرد ویژه، تکنیک های برنامه نویسی، زبان های برنامه نویسی، کامپایلرها، مترجمان، سیستم عامل ها، منطق ها و معانی برنامه ها

میانگین امتیاز به این کتاب :
تعداد امتیاز دهندگان : 14

در صورت تبدیل فایل کتاب Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب ساخت و تجزیه و تحلیل دستگاه های هوشمند، امن، و سازگار با یکدیگر: کارگاه بین المللی، CASSIS 2004، مارسی، فرانسه، 10-14 مارس 2004، مقالات منتخب تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب ساخت و تجزیه و تحلیل دستگاه های هوشمند، امن، و سازگار با یکدیگر: کارگاه بین المللی، CASSIS 2004، مارسی، فرانسه، 10-14 مارس 2004، مقالات منتخب تجدید نظر شده

این کتاب مجموعه مقالات پس از داوری کامل کارگاه بین المللی ساخت و تجزیه و تحلیل دستگاه های هوشمند ایمن، ایمن و قابل همکاری، CASSIS 2004 است که در مارس 2004 در مارسی، فرانسه برگزار شد.

13 مقاله کامل اصلاح شده ارائه شده در طی دو دور بررسی و بهبود با دقت انتخاب شدند. این مقالات به گرایش‌ها در تحقیقات کارت هوشمند، سیستم‌های عامل و فناوری‌های ماشین مجازی، پلت‌فرم‌های امن، امنیت، اعتبارسنجی برنامه‌ها، تأیید، و مدل‌سازی رسمی و روش‌های رسمی اختصاص دارد.

توضیحاتی درمورد کتاب به خارجی

This book constitutes the thoroughly refereed post-proceedings of the International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2004, held in Marseille, France in March 2004.

The 13 revised full papers presented were carefully selected during two rounds of reviewing and improvement. The papers are devoted to trends in smart card research, operating systems and virtual machine technologies, secure platforms, security, application validation, verification, and formal modeling and formal methods.

فهرست مطالب

Front Matter....Pages -
Mobile Resource Guarantees for Smart Devices....Pages 1-26
History-Based Access Control and Secure Information Flow....Pages 27-48
The Spec# Programming System: An Overview....Pages 49-69
Mastering Test Generation from Smart Card Software Formal Models....Pages 70-85
A Mechanism for Secure, Fine-Grained Dynamic Provisioning of Applications on Small Devices....Pages 86-107
ESC/Java2: Uniting ESC/Java and JML....Pages 108-128
A Type System for Checking Applet Isolation in Java Card....Pages 129-150
Verification of Safety Properties in the Presence of Transactions....Pages 151-171
Modelling Mobility Aspects of Security Policies....Pages 172-191
Smart Devices for Next Generation Mobile Services....Pages 192-209
A Flexible Framework for the Estimation of Coverage Metrics in Explicit State Software Model Checking....Pages 210-228
Combining Several Paradigms for Circuit Validation and Verification....Pages 229-249
Smart Card Research Perspectives....Pages 250-256
Back Matter....Pages -