A model of trusted software based on software gene

Author

Kun, Xiong ; Yong, Gan ; Xing, Ji

Author_Institution

Sch. of Comput. & Commun. Eng., Zhengzhou Univ. of Light Ind., Zhengzhou, China

fYear

2011

fDate

27-29 June 2011

Firstpage

990

Lastpage

993

Abstract

Recently, a series of software accidents happen in the worldwide, and resulting huge losses. These incidents attracted attention of the governments, enterprises and research institutions. So they decided to establish some projects to study trustworthy software. The trusted software model is one of the main subjects in these projects. To solve this problem, authors proposed the concept of the software gene based on multi-signature and encryption technology at first. And designed a model of trusted software based on software gene. The model has succeeded in showing, expressing, controlling and verifying software trustworthiness, by software genes.

Keywords

cryptography; digital signatures; formal verification; safety-critical software; encryption technology; enterprises; governments; multisignature technology; software accidents; software gene; trusted software; trustworthy software; Computational modeling; Computers; Cost accounting; Educational institutions; Electronic mail; Industries; Software; Software Gene; Trusted Software; Trusted Software Model;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Science and Service System (CSSS), 2011 International Conference on

Conference_Location

Nanjing

Print_ISBN

978-1-4244-9762-1

Type

conf

DOI

10.1109/CSSS.2011.5974720

Filename

5974720