國立高雄大學圖資館 |

Language: English

Back

The fundamental research for trustworthy software

Record Type:	Electronic resources : Monograph/item
Title/Author:	The fundamental research for trustworthy softwareedited by Jifeng He.
other author:	He, Jifeng.
Published:	Singapore :Springer Nature Singapore :2024.
Description:	xv, 79 p. :ill., digital ;24 cm.
Contained By:	Springer Nature eBook
Subject:	Computer security.
Online resource:	https://doi.org/10.1007/978-981-99-5589-3
ISBN:	9789819955893$q(electronic bk.)

The fundamental research for trustworthy software
The fundamental research for trustworthy software[electronic resource] /edited by Jifeng He. - Singapore :Springer Nature Singapore :2024. - xv, 79 p. :ill., digital ;24 cm. - Reports of China's basic research,2731-8915. - Reports of China's basic research..

Chapter 1. Project Overview -- Chapter 2. The Situation of Research at Home and Abroad -- Chapter 3. Major Results of the Research -- Chapter 4 Outlook.

This book mainly introduces the research overview, results, and achievements of "The Fundamental Research for Trustworthy Software", a major research plan of NSFC. The Plan focuses on four key scientific issues: (i) measurement and modeling of software trustworthiness; (ii) construction and verification of trustworthy software; (iii) evolution and control of trustworthy software; (iv) trusted environment construction and evaluation. This book aims to establish a research framework for fundamental research on trustworthy software by focusing on the trustworthiness of embedded software and network application software, as well as the trustworthiness of software in key application fields in China. This book is intended for researchers who have been following the evolution of and trends in the trustworthy software; the book is also a valuable reference resource for practitioners and scholars at various levels and in various fields.

ISBN: 9789819955893$q(electronic bk.)

Standard No.: 10.1007/978-981-99-5589-3doiSubjects--Topical Terms:

184416
Computer security.

LC Class. No.: QA76.9.A25

Dewey Class. No.: 005.8

The fundamental research for trustworthy software
LDR:02122nmm a2200337 a 4500 001 660447
003 DE-He213
005 20231123220233.0
006 m d
007 cr nn 008maaau
008 241106s2024 si s 0 eng d
020 $a 9789819955893$q(electronic bk.)
020 $a 9789819955886$q(paper)
024 7 $a 10.1007/978-981-99-5589-3 $2 doi
035 $a 978-981-99-5589-3
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.A25
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
072 7 $a UMZ $2 thema
082 0 4 $a 005.8 $2 23
090 $a QA76.9.A25 $b F981 2024
245 0 4 $a The fundamental research for trustworthy software $h [electronic resource] / $c edited by Jifeng He.
260 $a Singapore : $b Springer Nature Singapore : $b Imprint: Springer, $c 2024.
300 $a xv, 79 p. : $b ill., digital ; $c 24 cm.
490 1 $a Reports of China's basic research, $x 2731-8915
505 0 $a Chapter 1. Project Overview -- Chapter 2. The Situation of Research at Home and Abroad -- Chapter 3. Major Results of the Research -- Chapter 4 Outlook.
520 $a This book mainly introduces the research overview, results, and achievements of "The Fundamental Research for Trustworthy Software", a major research plan of NSFC. The Plan focuses on four key scientific issues: (i) measurement and modeling of software trustworthiness; (ii) construction and verification of trustworthy software; (iii) evolution and control of trustworthy software; (iv) trusted environment construction and evaluation. This book aims to establish a research framework for fundamental research on trustworthy software by focusing on the trustworthiness of embedded software and network application software, as well as the trustworthiness of software in key application fields in China. This book is intended for researchers who have been following the evolution of and trends in the trustworthy software; the book is also a valuable reference resource for practitioners and scholars at various levels and in various fields.
650 0 $a Computer security. $3 184416
650 0 $a Computer software $x Reliability. $3 199854
650 1 4 $a Software Engineering. $3 274511
650 2 4 $a Operating Systems. $3 274474
700 1 $a He, Jifeng. $3 280135
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
830 0 $a Reports of China's basic research. $3 950533
856 4 0 $u https://doi.org/10.1007/978-981-99-5589-3
950 $a Computer Science (SpringerNature-11645)