Software & Security Assurance Metrics and methods for software certification

سال انتشار: 1390
نوع سند: مقاله کنفرانسی
زبان: انگلیسی
مشاهده: 1,264

فایل این مقاله در 6 صفحه با فرمت PDF قابل دریافت می باشد

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:

شناسه ملی سند علمی:

CITH01_053

تاریخ نمایه سازی: 9 شهریور 1391

چکیده مقاله:

Our life has been affected by information technology. Software is used in most of our life even insome critical parts such as air traffic control or power plane to control very sensitive functions. Anymisfunctionality or bugs in unreliable software could hide and it may cause problem and make costeven takes lives. Connectivity and complexity are common in software production today and thesefactors make assuring and certifying software big challenge that needs more money and time. In thispaper, security and software certification and assurance have been considered and metrics which areused in this subject will cover and some techniques that reduce the effort of software evaluation willconsider more.

نویسندگان

Fariborz Entezami

MSc in Networking and Information Security WMN Research Group, Faculty of Computing, Information & Mathematics Kingston University, London, England

مراجع و منابع این مقاله:

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • G. Parkin, P. Harris, Certifying Software fit for purpose, National ...
  • X. Leroy, Formal Certification of a Compiler Back-end, INRIA Rocquencourt, ...
  • E. Denney, B. Fischer, Software Certification and Software Sertificate Management ...
  • at:http://ntrs. asa.go v/arch ive/nasa/casi ntrs. nasa/201 _ _ _ udf ...
  • نمایش کامل مراجع