دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Smart Card Programming and Security: International Conference on Research in Smart Cards, E-smart 2001 Cannes, France, September 19–21, 2001 Proceedings
دانلود کتاب برنامه نویسی و امنیت کارت هوشمند: کنفرانس بین المللی پژوهش در کارتهای هوشمند ، کن ، 2001 کن ، فرانسه ، مجموعه مقالات
مشخصات کتاب
Smart Card Programming and Security: International Conference on Research in Smart Cards, E-smart 2001 Cannes, France, September 19–21, 2001 Proceedings
دسته بندی: کنفرانس ها و همایش های بین المللی ویرایش: 1 نویسندگان: Simon Moore (auth.), Isabelle Attali, Thomas Jensen (eds.) سری: Lecture Notes in Computer Science 2140 ISBN (شابک) : 3540426108, 9783540426103 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2001 تعداد صفحات: 263 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 47,000
در صورت تبدیل فایل کتاب Smart Card Programming and Security: International Conference on Research in Smart Cards, E-smart 2001 Cannes, France, September 19–21, 2001 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب برنامه نویسی و امنیت کارت هوشمند: کنفرانس بین المللی پژوهش در کارتهای هوشمند ، کن ، 2001 کن ، فرانسه ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب برنامه نویسی و امنیت کارت هوشمند: کنفرانس بین المللی پژوهش در کارتهای هوشمند ، کن ، 2001 کن ، فرانسه ، مجموعه مقالات
این کتاب مجموعه مقالات داوری دومین کنفرانس بین‌المللی پژوهش در کارتهای هوشمند، E-smart 2001، در کن، فرانسه، در سپتامبر 2001 است. از جمله موضوعات پرداخته شده می توان به بیومتریک، رمزنگاری و امضای الکترونیکی در مورد امنیت کارت هوشمند، روش های رسمی ارزیابی و صدور گواهینامه کارت هوشمند، معماری برای چند برنامه کاربردی و پلت فرم های باز امن، و میان افزار برای کارت های هوشمند و کاربردهای جدید کارت های هوشمند اشاره کرد.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the Second International Conference on Research in Smart Cards, E-smart 2001, held in Cannes, France, in September 2001. The 20 revised full papers presented were carefully reviewed and selected from 38 submissions. Among the topics addressed are biometrics, cryptography and electronic signatures on smart card security, formal methods for smart card evaluation and certification, architectures for multi-applications and secure open platforms, and middleware for smart cards and novel applications of smart cards.
فهرست مطالب
Protecting Consumer Security Devices....Pages 1-1
Jakarta: A Toolset for Reasoning about JavaCard....Pages 2-18
Mechanising a Protocol for Smart Cards....Pages 19-33
JCCM: Flexible Certificates for smartcards with Java Card....Pages 34-42
Context Inference for Static Analysis of Java Card Object Sharing....Pages 43-57
Automated Test and Oracle Generation for Smart-Card Applications....Pages 58-70
An Internet Authorization Scheme Using Smart-Card-Based Security Kernels....Pages 71-82
Turning Multi-applications Smart Cards Services Available from Anywhere at Anytime: A SOAP/MOM Approach in the Context of Java Cards....Pages 83-94
An Operational Semantics of the Java Card Firewall....Pages 95-110
CardS4: Modal Theorem Proving on Java Smartcards....Pages 111-123
iButton Enrolment and Verification Requirements for the Pressure Sequence Smartcard Biometric....Pages 124-134
SIMspeak - Towards an Open and Secure Application Platform for GSM SIMs....Pages 135-149
On-Card Bytecode Verification for Java Card....Pages 150-164
Towards a Full Formal Specification of the JavaCard API....Pages 165-178
Protection Profiles and Generic Security Targets for Smart Cards as Secure Signature Creation Devices-Existing Solutions for the Payment Sector....Pages 179-187
A Flexible Invocation Framework for Java Card....Pages 188-199
ElectroMagnetic Analysis (EMA): Measures and Counter-measures for Smart Cards....Pages 200-210
Information Leakage Attacks against Smart Card Implementations of the Elliptic Curve Digital Signature Algorithm....Pages 211-219
Use of Biometrics for User Verification in Electronic Signature Smartcards....Pages 220-227
Programming Internet Smartcard with XML Scripts....Pages 228-241
Public-Key-Based High-Speed Payment (Electronic Money) System Using Contact-Less Smart Cards....Pages 242-254
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Advances in Case-Based Reasoning: 7th European Conference, ECCBR 2004, Madrid, Spain, August 30 - September 2, 2004. Proceedings
دانلود کتاب Normal Tissue Reactions In Radiotherapy And Oncology Volume 37 International Symposium, Marburg, April
دانلود کتاب Global Analysis: Proceedings of the Biennial Seminar of the Canadian Mathematical Congress, Calgary, Alberta, June 12 – 27, 1978
دانلود کتاب Field Programmable Logic and Application: 13th International Conference, FPL 2003, Lisbon, Portugal, September 1-3, 2003 Proceedings
دانلود کتاب Statistical models for the fracture of disordered media
دانلود کتاب Nondifferential and variational techniques in optimization. Workshop
دانلود کتاب BEA WebLogic Workshop 8.1 Kick Start
دانلود کتاب Data Mining and Knowledge Management: Chinese Academy of Sciences Symposium CASDMKM 2004, Beijing, China, July 12-14, 2004. Revised Papers
دانلود کتاب Mazda 626 Workshop Manual
