東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

FindBook

Google Book

Amazon

博客來

The fundamental research for trustworthy software

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	The fundamental research for trustworthy software/ edited by Jifeng He.
其他作者:	He, Jifeng.
出版者:	Singapore :Springer Nature Singapore : : 2024.,
面頁冊數:	xv, 79 p. :ill., digital ;24 cm.
內容註:	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
標題:	Computer security. -
電子資源:	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)