دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Fatemeh Raji, Ali Miri, Mohammad Davarpanah Jazi (auth.), Joaquin Garcia-Alfaro, Pascal Lafourcade (eds.) سری: Lecture Notes in Computer Science 6888 Security and Cryptology ISBN (شابک) : 9783642279010, 3642279015 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 263 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب مبانی و عملکرد امنیت: چهارمین کارگاه آموزشی MITACS در کانادا ، فرانسه ، FPS 2011 ، پاریس ، فرانسه ، 12-13 مه ، 2011 ، مقالات اصلاح شده: رمزگذاری داده ها، مهندسی نرم افزار، مدیریت سیستم های محاسباتی و اطلاعاتی، شبکه های ارتباطی کامپیوتری، تحلیل الگوریتم و پیچیدگی مسائل، منطق و معانی برنامه ها
در صورت تبدیل فایل کتاب Foundations and Practice of Security: 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مبانی و عملکرد امنیت: چهارمین کارگاه آموزشی MITACS در کانادا ، فرانسه ، FPS 2011 ، پاریس ، فرانسه ، 12-13 مه ، 2011 ، مقالات اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مقالات منتخب چهارمین کارگاه آموزشی MITACS کانادا-فرانسه در زمینه مبانی و تمرین امنیت، FPS 2011، که در پاریس، فرانسه، در ماه مه 2011 در پاریس، فرانسه برگزار شد، با دقت داوری و بازبینی شده تشکیل شده است. این کتاب حاوی نسخه اصلاح شده است. شامل 10 مقاله کامل، همراه با 3 سخنرانی کلیدی، 2 مقاله کوتاه، و 5 گزارش تحقیقاتی در حال انجام. مقالات به دقت بررسی و از بین 30 مقاله ارسالی انتخاب شدند. موضوعات تحت پوشش امنیت فراگیر و رمزنگاری آستانه است. رمزگذاری، تحلیل رمز و تأیید خودکار؛ و روش های رسمی در امنیت شبکه.
This book constitutes the carefully refereed and revised selected papers of the 4th Canada-France MITACS Workshop on Foundations and Practice of Security, FPS 2011, held in Paris, France, in May 2011. The book contains a revised version of 10 full papers, accompanied by 3 keynote addresses, 2 short papers, and 5 ongoing research reports. The papers were carefully reviewed and selected from 30 submissions. The topics covered are pervasive security and threshold cryptography; encryption, cryptanalysis and automatic verification; and formal methods in network security.
Front Matter....Pages -
Preserving Privacy in Online Social Networks....Pages 1-13
TTP SmartCard-Based ElGamal Cryptosystem Using Threshold Scheme for Electronic Elections....Pages 14-22
Automated Verification of Block Cipher Modes of Operation, an Improved Method....Pages 23-31
SC 2 : Secure Communication over Smart Cards....Pages 32-48
Private Identification of RFID Tags....Pages 49-61
Threshold Encryption into Multiple Ciphertexts....Pages 62-72
A Novel Commutative Blinding Identity Based Encryption Scheme....Pages 73-89
A Related-Key Attack on Block Ciphers with Weak Recurrent Key Schedules....Pages 90-101
A Computational Indistinguishability Logic for the Bounded Storage Model....Pages 102-117
Preventing the Cluster Formation Attack against the Hierarchical OLSR Protocol....Pages 118-131
Secret Key Establishment over Noisy Channels....Pages 132-147
Formal Specification and Validation of Security Policies....Pages 148-163
Vote-Independence: A Powerful Privacy Notion for Voting Protocols....Pages 164-180
Black-Box Property of Cryptographic Hash Functions....Pages 181-193
Phishing Detection with Popular Search Engines: Simple and Effective....Pages 194-207
A Contextual Privacy-Aware Access Control Model for Network Monitoring Workflows: Work in Progress....Pages 208-217
A Metamodel for the Design of Access-Control Policy Enforcement Managers: Work in Progress....Pages 218-226
Specification and Verification of Access Control Policies in EB 3 SEC: Work in Progress....Pages 227-233
A Metamodel of the B Modeling of Access-Control Policies: Work in Progress....Pages 234-241
Formal Verification of a Key Establishment Protocol for EPC Gen2 RFID Systems: Work in Progress....Pages 242-251
Back Matter....Pages -