Software Systems Safety

دسته بندی: امنیت
ویرایش:  
نویسندگان: O. Grumberg,  H. Seidl,  M. Irlbeck  
سری: Nato Science for Peace and Security 
ISBN (شابک) : 161499384X, 9781614993841 
ناشر: IOS Press 
سال نشر: 2014 
تعداد صفحات: 397 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 6 مگابایت 

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

تا همین اواخر، درستی و امنیت سیستم‌های نرم‌افزاری یک مشکل تئوری بود که فقط برای گروه کوچکی از متخصصان کامپیوتر مرتبط بود. امروزه با نقض امنیت در نرم افزارهای بانکی، حملات بدافزارها و اشکالات در برنامه ها که میلیون ها نفر را تحت تأثیر قرار می دهد و تقریباً روزانه سرفصل خبرها می شود، این یک مشکل اساسی برای جامعه است. جامعه علوم رایانه در حال توسعه ابزارهای تأیید و ترکیبی است که کارهای بیشتری را در طراحی برنامه های ایمن مکانیزه می کند. این کتاب مقالات ارائه شده در مؤسسه مطالعات پیشرفته ناتو (ASI) مدرسه تابستانی Marktoberdorf 2013 ایمنی سیستم های نرم افزاری را ارائه می دهد. شرکت‌کنندگان گروه‌های پژوهشی از صنعت و دانشگاه را نمایندگی می‌کردند و موضوعات تحت پوشش عبارت بودند از: بررسی مدل نرم‌افزار از طریق آزمایش سیستماتیک، ترکیب برنامه، سیستم‌های رای‌گیری E، بررسی مدل احتمالی در زیست‌شناسی، بررسی مدل حالت بی‌نهایت، رضایت‌پذیری بولی، اثبات تعاملی، و نرم‌افزار امنیت با کنترل جریان اطلاعات مدرسه تابستانی مارکتوبردورف یکی از مشهورترین مدارس تابستانی علوم کامپیوتر بین‌المللی است و این کتاب با مروری دقیق بر نتایج تحقیقات جاری با تاکید ویژه بر حل مشکلات امنیتی سیستم‌های نرم‌افزاری، مورد توجه همه کسانی خواهد بود که کارشان شامل امنیت سیستم‌ها.

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

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

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

Until quite recently, the correctness and security of software systems was a largely theoretical problem relevant only for a small group of computer specialists. Today it is a fundamental problem for society at large, with security breaches in banking software, malware attacks and bugs in programs affecting millions of people and making the headlines almost daily. The computer science community is developing verification and synthesis tools which will mechanize ever more tasks in the design of secure programs. This book presents the papers delivered at the NATO Advanced Study Institute (ASI) Summer School Marktoberdorf 2013 Software Systems Safety. The participants represented research groups from both industry and academia, and the subjects covered included: software model checking via systematic testing, program synthesis, E voting systems, probabilistic model checking in biology, infinite state model checking, Boolean satisfiability, interactive proof, and software security by information flow control. The Marktoberdorf Summer School is one of the most renowned international computer science summer schools, and this book, with its detailed overview of current research results with special emphasis on the solving of software systems security problems, will be of interest to all those whose work involves systems security.

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