Fault-Tolerant Non-interference. Del Tedesco, F., Russo, A., & Sands, D. In Engineering Secure Software and Systems (ESSoS'14), volume 8364, of LNCS, pages 60--76. Springer International Publishing, 2014. Paper abstract bibtex This paper is about ensuring security in unreliable systems. We study systems which are subject to transient faults -– soft errors that cause stored values to be corrupted. The classic problem of fault tolerance is to modify a system so that it works despite a limited number of faults. We introduce a novel variant of this problem. Instead of demanding that the system works despite faults, we simply require that it remains secure: wrong answers may be given but secrets will not be revealed. We develop a software-based technique to achieve this fault- tolerant non-interference property. The method is defined on a simple assembly language, and guarantees security for any assembly program provided as input. The security property is defined on top of a formal model that encompasses both the fault-prone machine and the faulty environment. A precise characterization of the class of programs for which the method guarantees transparency is provided.
@incollection{DelTedesco:Russo:Sands:ESSOS14,
title={Fault-Tolerant Non-interference},
author={Del Tedesco, Filippo and Russo, Alejandro and Sands, David},
booktitle={Engineering Secure Software and Systems (ESSoS'14)},
pages={60--76},
volume={8364},
series={LNCS},
year={2014},
publisher={Springer International Publishing},
url_Paper = {http://www.cse.chalmers.se/~dave/papers/essos14.pdf},
abstract = {This paper is about ensuring security in unreliable systems. We study systems which are subject to transient faults -– soft errors that cause stored values to be corrupted. The classic problem of fault tolerance is to modify a system so that it works despite a limited number of faults. We introduce a novel variant of this problem. Instead of demanding that the system works despite faults, we simply require that it remains secure: wrong answers may be given but secrets will not be revealed. We develop a software-based technique to achieve this fault- tolerant non-interference property. The method is defined on a simple assembly language, and guarantees security for any assembly program provided as input. The security property is defined on top of a formal model that encompasses both the fault-prone machine and the faulty environment. A precise characterization of the class of programs for which the method guarantees transparency is provided.}
}
Downloads: 0
{"_id":"esmaoiTWvQj2uk5E9","bibbaseid":"deltedesco-russo-sands-faulttolerantnoninterference-2014","downloads":0,"creationDate":"2017-02-03T08:24:26.790Z","title":"Fault-Tolerant Non-interference","author_short":["Del Tedesco, F.","Russo, A.","Sands, D."],"year":2014,"bibtype":"incollection","biburl":"http://www.cse.chalmers.se/~dave/davewww2016.bib","bibdata":{"bibtype":"incollection","type":"incollection","title":"Fault-Tolerant Non-interference","author":[{"propositions":[],"lastnames":["Del","Tedesco"],"firstnames":["Filippo"],"suffixes":[]},{"propositions":[],"lastnames":["Russo"],"firstnames":["Alejandro"],"suffixes":[]},{"propositions":[],"lastnames":["Sands"],"firstnames":["David"],"suffixes":[]}],"booktitle":"Engineering Secure Software and Systems (ESSoS'14)","pages":"60--76","volume":"8364","series":"LNCS","year":"2014","publisher":"Springer International Publishing","url_paper":"http://www.cse.chalmers.se/~dave/papers/essos14.pdf","abstract":"This paper is about ensuring security in unreliable systems. We study systems which are subject to transient faults -– soft errors that cause stored values to be corrupted. The classic problem of fault tolerance is to modify a system so that it works despite a limited number of faults. We introduce a novel variant of this problem. Instead of demanding that the system works despite faults, we simply require that it remains secure: wrong answers may be given but secrets will not be revealed. We develop a software-based technique to achieve this fault- tolerant non-interference property. The method is defined on a simple assembly language, and guarantees security for any assembly program provided as input. The security property is defined on top of a formal model that encompasses both the fault-prone machine and the faulty environment. A precise characterization of the class of programs for which the method guarantees transparency is provided.","bibtex":"@incollection{DelTedesco:Russo:Sands:ESSOS14,\n title={Fault-Tolerant Non-interference},\n author={Del Tedesco, Filippo and Russo, Alejandro and Sands, David},\n booktitle={Engineering Secure Software and Systems (ESSoS'14)},\n pages={60--76},\n volume={8364}, \n series={LNCS},\n year={2014},\n publisher={Springer International Publishing},\nurl_Paper = {http://www.cse.chalmers.se/~dave/papers/essos14.pdf},\n abstract = {This paper is about ensuring security in unreliable systems. We study systems which are subject to transient faults -– soft errors that cause stored values to be corrupted. The classic problem of fault tolerance is to modify a system so that it works despite a limited number of faults. We introduce a novel variant of this problem. Instead of demanding that the system works despite faults, we simply require that it remains secure: wrong answers may be given but secrets will not be revealed. We develop a software-based technique to achieve this fault- tolerant non-interference property. The method is defined on a simple assembly language, and guarantees security for any assembly program provided as input. The security property is defined on top of a formal model that encompasses both the fault-prone machine and the faulty environment. A precise characterization of the class of programs for which the method guarantees transparency is provided.} \n}\n\n\n","author_short":["Del Tedesco, F.","Russo, A.","Sands, D."],"key":"DelTedesco:Russo:Sands:ESSOS14","id":"DelTedesco:Russo:Sands:ESSOS14","bibbaseid":"deltedesco-russo-sands-faulttolerantnoninterference-2014","role":"author","urls":{" paper":"http://www.cse.chalmers.se/~dave/papers/essos14.pdf"},"downloads":0},"search_terms":["fault","tolerant","non","interference","del tedesco","russo","sands"],"keywords":[],"authorIDs":["58943e3a2f18920f4c000022"],"dataSources":["SBHWXKotbthoEYKJv"]}