Making Multivariant Programming Practical and Inexpensive

被引：12

作者：

Franz, Michael ^{[1
]}

机构：

[1] Univ Calif Irvine, Irvine, CA 92697 USA

来源：

IEEE SECURITY & PRIVACY | 2018年 / 16卷 / 03期

基金：

美国国家科学基金会;

关键词：

fault tolerance; n-version programming; NVP; resilient security; security;

D O I：

10.1109/MSP.2018.2701161

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

Since it was first proposed in 1978, n-version programming (NVP) has been a mainstay technique for obtaining fault tolerance in high-reliability software. Although subsequent research on NVP has indicated that coincident failures across different versions can be more common than initially expected, NVP remains the 'gold standard' for application domains in which high reliability is of critical importance, such as fly-by-wire avionics control software. © 2003-2012 IEEE.

引用

页码：90 / 94

页数：5

共 10 条

[1]

Berger E., 2006, ACM PROGRAMMING LANG

[2]

Chen L., 1978, FTCS-8. The Eighth Annual International Conference on Fault-Tolerant Computing, P3

[3]

Cox B., 2006, 15 USENIX SEC S AUG

[4]

Crane S., 2015, 2015 NETW DISTR SYST

[5]

Franz Michael., 2010, Proceedings of the 2010 Workshop on New Security Paradigms, NSPW '10, P7

[6]

Joseph M. K., 1988, THESIS

[7] AN EXPERIMENTAL EVALUATION OF THE ASSUMPTION OF INDEPENDENCE IN MULTIVERSION PROGRAMMING [J].

KNIGHT, JC ;

LEVESON, NG .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1986, 12 (01) :96-109

[8]

Salamat B, 2009, EUROSYS'09: PROCEEDINGS OF THE FOURTH EUROSYS CONFERENCE, P33

[9] Taming Parallelism in a Multi-Variant Execution Environment [J].

Volckaert, Stijn ;

Coppens, Bart ;

De Sutter, Bjorn ;

De Bosschere, Koen ;

Larsen, Per ;

Franz, Michael .

PROCEEDINGS OF THE TWELFTH EUROPEAN CONFERENCE ON COMPUTER SYSTEMS (EUROSYS 2017), 2017, :270-285

[10]

Volckaert S, 2016, PROCEEDINGS OF USENIX ATC '16: 2016 USENIX ANNUAL TECHNICAL CONFERENCE, P167

← 1 →