ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Formal Logical Methods for System Security and Correctness

دانلود کتاب روش‌های منطقی رسمی برای امنیت و صحت سیستم

Formal Logical Methods for System Security and Correctness

مشخصات کتاب

Formal Logical Methods for System Security and Correctness

ویرایش:  
نویسندگان: , , ,   
سری: Nato Science for Peace and Security 
ISBN (شابک) : 1586038435, 9781435677883 
ناشر: IOS Press 
سال نشر: 2008 
تعداد صفحات: 332 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 Mb 

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



ثبت امتیاز به این کتاب

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


در صورت تبدیل فایل کتاب Formal Logical Methods for System Security and Correctness به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب روش‌های منطقی رسمی برای امنیت و صحت سیستم

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

IOS Press یک ناشر بین المللی علمی، فنی و پزشکی با کیفیت بالا است. کتاب هایی برای دانشگاهیان، دانشمندان و متخصصان در همه زمینه ها.

برخی از زمینه هایی که ما در این زمینه منتشر می کنیم:

-زیست پزشکی - سرطان شناسی - هوش مصنوعی - پایگاه های داده و سیستم های اطلاعاتی - مهندسی دریایی - فناوری نانو - مهندسی زمین - همه جنبه های فیزیک - حکومت الکترونیکی - تجارت الکترونیک - اقتصاد دانش -مطالعات شهری -کنترل تسلیحات -درک و پاسخ به تروریسم -انفورماتیک پزشکی -علوم کامپیوتر


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

The objective of this publication is to present the state-of-the-art in the field of proof technology in connection with secure and correct software. The contributors have shown that methods of correct-by-construction program and process synthesis allow a high level programming method more amenable to security and reliability analysis and guarantees. By providing the necessary theoretical background and presenting corresponding application oriented concepts, the objective is an in-depth presentation of such methods covering both theoretical foundations and industrial practice.

IOS Press is an international science, technical and medical publisher of high-quality books for academics, scientists, and professionals in all fields.

Some of the areas we publish in:

-Biomedicine -Oncology -Artificial intelligence -Databases and information systems -Maritime engineering -Nanotechnology -Geoengineering -All aspects of physics -E-governance -E-commerce -The knowledge economy -Urban studies -Arms control -Understanding and responding to terrorism -Medical informatics -Computer Sciences



فهرست مطالب

Title page......Page 1
Preface......Page 5
Contents......Page 9
Compilation of Certificates......Page 11
Formal Foundations of Computer Security......Page 39
Building a Software Model Checker......Page 63
Symbolic Trajectory Evaluation (STE): Automatic Refinement and Vacuity Detection......Page 99
Automated and Interactive Theorem Proving......Page 121
Correctness of Effect-Based Program Transformations......Page 159
Abstract and Concrete Models for Recursion......Page 185
Secrecy Analysis in Protocol Composition Logic......Page 209
The Engineering Challenges of Trustworthy Computing......Page 243
Reflecting Quantifier Elimination for Linear Arithmetic......Page 255
Content in Proofs of List Reversal......Page 277
Proof Theory, Large Functions and Combinatorics......Page 297
Author Index......Page 329




نظرات کاربران