Inside Risks Toward Total-System Trustworthiness

Peter G. Neumann

doi:10.1145/3532631

2022-05-20

PRE

Peter G. Neumann *

DOI：10.1145/3532631

原文链接

原文求助

摘要

En 中文

Considering how to achieve the long-term goal to systemically reduce risks.

期刊

Communications of the ACM

IF:

12.2

论文数:

1.2W

被引数:

3.7W

机构

sri international

学者数:

1.5K

论文数: 1.1K

被引数: 4

引用论文

seL4 in Australia: From Research to Real-World Trustworthy Systems

COMMUNICATIONS OF THE ACM

IF12.2

2020-03-20

OAAI

Heiser, Gernot; Klein, Gerwin; Andronick, June

PROOF TECHNIQUES FOR HIERARCHICALLY STRUCTURED PROGRAMS

COMMUNICATIONS OF THE ACM

IF12.2

1977-04-01

OAAI

ROBINSON, L; LEVITT, KN

Decoupling from yolk sac is required for extraembryonic tissue spreading in the scuttle fly Megaselia abdita

eLife

IF0

2018-10-30

OAAI

Francesca Caroti; Everardo González Avalos; Viola Noeske; Paula González Avalos; Dimitri Kromm; Maike Wosch; Lucas Schütz; Lars Hufnagel; Steffen Lemke

Bioactivity assessment of bioactive glasses for dental applications: A critical review

Dental Materials

IF0

2020-09-01

OAAI

Caroline Mocquot; Nina Attik; Nelly Pradelle-Plasse; Brigitte Grosgogeat; Pierre Colon

The influence of sintering temperature on the crystal structure, electric and magnetic properties of Ba(2-X)Nd(X)Fe2O5 composite

Malaysian Journal of Fundamental and Applied Sciences

IF0

2019-06-25

OAAI

Patricius Purwanto; Yunasfi Yunasfi; Ade Mulyawan

Monolithic integration technology between microlens arrays and infrared charge coupled devices

Optics & Laser Technology

IF0

2005-04-01

PREAI

Caijun Ke; Xinjian Yi; Zhimou Xu; Jianjun Lai

STRUCTURE OF THE-MULTIPROGRAMMING SYSTEM

COMMUNICATIONS OF THE ACM

IF12.2

1968-05-01

358

OAAI

DIJKSTRA, EW

没有更多内容