東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Linked to FindBook

Google Book

Amazon

博客來

The fundamental research for trustworthy software

Record Type:	Electronic resources : Monograph/item
Title/Author:	The fundamental research for trustworthy software/ edited by Jifeng He.
other author:	He, Jifeng.
Published:	Singapore :Springer Nature Singapore : : 2024.,
Description:	xv, 79 p. :ill., digital ;24 cm.
[NT 15003449]:	Chapter 1. Project Overview -- Chapter 2. The Situation of Research at Home and Abroad -- Chapter 3. Major Results of the Research -- Chapter 4 Outlook.
Contained By:	Springer Nature eBook
Subject:	Computer security. -
Online resource:	https://doi.org/10.1007/978-981-99-5589-3
ISBN:	9789819955893

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

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

540555
Computer security.

LC Class. No.: QA76.9.A25

Dewey Class. No.: 005.8

The fundamental research for trustworthy software
LDR:02121nmm a2200337 a 4500 001 2367546
003 DE-He213
005 20231123220233.0
006 m d
007 cr nn 008maaau
008 241127s2024 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 540555
650 0 $a Computer software $x Reliability. $3 654217
650 1 4 $a Software Engineering. $3 890874
650 2 4 $a Operating Systems. $3 892491
700 1 $a He, Jifeng. $3 1071220
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Reports of China's basic research. $3 3631639
856 4 0 $u https://doi.org/10.1007/978-981-99-5589-3
950 $a Computer Science (SpringerNature-11645)