دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Advances in Computer Science - ASIAN 2009. Information Security and Privacy: 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009. Proceedings
دانلود کتاب پیشرفت در علوم کامپیوتر - ASIAN 2009. امنیت و حفظ حریم خصوصی: سیزدهمین کنفرانس علوم محاسبات آسیا ، سئول ، کره ، 14 تا 16 دسامبر 2009. مجموعه مقالات
مشخصات کتاب
Advances in Computer Science - ASIAN 2009. Information Security and Privacy: 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009. Proceedings
ویرایش: 1 نویسندگان: Jean Goubault-Larrecq (auth.), Anupam Datta (eds.) سری: Lecture Notes in Computer Science 5913 : Theoretical Computer Science and General Issues ISBN (شابک) : 9783642106217, 3642106218 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2009 تعداد صفحات: 166 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 34,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب پیشرفت در علوم کامپیوتر - ASIAN 2009. امنیت و حفظ حریم خصوصی: سیزدهمین کنفرانس علوم محاسبات آسیا ، سئول ، کره ، 14 تا 16 دسامبر 2009. مجموعه مقالات: منطق و معانی برنامه ها، شبکه های ارتباطی کامپیوتری، تحلیل الگوریتم و پیچیدگی مسائل، منطق ریاضی و زبان های رسمی، ساختارهای داده، رمز شناسی و نظریه اطلاعات، سیستم ها و امنیت داده ها
در صورت تبدیل فایل کتاب Advances in Computer Science - ASIAN 2009. Information Security and Privacy: 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب پیشرفت در علوم کامپیوتر - ASIAN 2009. امنیت و حفظ حریم خصوصی: سیزدهمین کنفرانس علوم محاسبات آسیا ، سئول ، کره ، 14 تا 16 دسامبر 2009. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب پیشرفت در علوم کامپیوتر - ASIAN 2009. امنیت و حفظ حریم خصوصی: سیزدهمین کنفرانس علوم محاسبات آسیا ، سئول ، کره ، 14 تا 16 دسامبر 2009. مجموعه مقالات
این کتاب مجموعه مقالات داوری سیزدهمین کنفرانس علوم محاسباتی آسیایی، آسیایی 2009، برگزار شده در سئول، کره، در دسامبر 2009 است.
7 مقاله کامل اصلاح شده و 3 مقاله کوتاه اصلاح شده ارائه شده همراه با 2 سخنرانی دعوت شده به دقت بررسی و از بین 45 مورد ارسالی انتخاب شد. با تمرکز بر تئوری و عمل امنیت اطلاعات و حریم خصوصی، مقالات شامل موضوعاتی از محدودیت‌های استنتاج پذیری، حالت‌های رمزگذاری متقارن، حوزه‌ها و سیاست‌های امنیتی پویا، رمزنگاری، تأیید رسمی برنامه‌های کوانتومی، تصمیم‌گیری معادل استاتیک، پیام تأیید شده و طرح امضای پروکسی است.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 13th Asian Computing Science Conference, ASIAN 2009, held in Seoul, Korea, in December 2009.
The 7 revised full papers and 3 revised short papers presented together with 2 invited talks were carefully reviewed and selected from 45 submissions. Focusing on the theory and practice of information security and privacy, the papers include topics of deducibility constraints, symmetric encryption modes, dynamic security domains and policies, cryptography, formal verification of quantum programs, decision of static equivalence, authenticated message and proxy signature scheme.
فهرست مطالب
Front Matter....Pages -
“Logic Wins!”....Pages 1-16
Higher-Order Program Verification and Language-Based Security....Pages 17-23
Deducibility Constraints....Pages 24-38
Automated Security Proof for Symmetric Encryption Modes....Pages 39-53
Noninterference with Dynamic Security Domains and Policies....Pages 54-68
A Critique of Some Chaotic-Map and Cellular Automata-Based Stream Ciphers....Pages 69-78
A Logic for Formal Verification of Quantum Programs....Pages 79-93
Reducing Equational Theories for the Decision of Static Equivalence....Pages 94-108
A Simulation-Based Treatment of Authenticated Message Exchange....Pages 109-123
Trusted Deployment of Virtual Execution Environment in Grid Systems....Pages 124-136
A Dolev-Yao Model for Zero Knowledge....Pages 137-146
A Special Proxy Signature Scheme with Multi-warrant....Pages 147-157
Back Matter....Pages -
