Title :
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
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;
Conference_Titel :
Computer Science and Service System (CSSS), 2011 International Conference on
Conference_Location :
Nanjing
Print_ISBN :
978-1-4244-9762-1
DOI :
10.1109/CSSS.2011.5974720
