Software & Security Assurance Metrics and methods for software certification

Publish Year: 1390
نوع سند: مقاله کنفرانسی
زبان: English
View: 1,213

This Paper With 6 Page And PDF Format Ready To Download

  • Certificate
  • من نویسنده این مقاله هستم

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

لینک ثابت به این Paper:

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

CITH01_053

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

Abstract:

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.

Authors

Fariborz Entezami

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

مراجع و منابع این Paper:

لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :
  • 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 ...
  • نمایش کامل مراجع