Trustworthy Software: lessons from `goto fail' & Heartbleed bugs
Trustworthy Software: lessons from `goto fail' & Heartbleed bugs
- Author(s): H.A. Boyes ; P. Norris ; I. Bryant ; T. Watson
- DOI: 10.1049/cp.2014.0970
For access to this article, please select a purchase option:
Buy conference paper PDF
Buy Knowledge Pack
IET members benefit from discounts to all IET publications and free access to E&T Magazine. If you are an IET member, log in to your account and the discounts will automatically be applied.
9th IET International Conference on System Safety and Cyber Security (2014) — Recommend this title to your library
Thank you
Your recommendation has been sent to your librarian.
- Author(s): H.A. Boyes ; P. Norris ; I. Bryant ; T. Watson Source: 9th IET International Conference on System Safety and Cyber Security (2014), 2014 page ()
- Conference: 9th IET International Conference on System Safety and Cyber Security (2014)
- DOI: 10.1049/cp.2014.0970
- ISBN: 978-1-84919-940-7
- Location: Manchester, UK
- Conference date: 15-16 Oct. 2014
- Format: PDF
In the first four months of 2014, two major vulnerabilities were announced affecting operation of the Transport Layer Security (TLS) protocol, which is used by applications to secure Internet communications. The `goto fail' bug affected Apple's iOS and OS X software and the `Heartbleed' bug affected versions of the OpenSSL software. Whilst the Apple bug was serious because it affected a wide range of Apple products, the Heartbleed bug was of greater significance due to widespread use of the OpenSSL library. This paper considers the lessons to be learned from these incidents. It examines how the use of the Trustworthy Software Framework (TSF) developed by the authors could have helped to reduce the risk of a major bugs like `goto fail' and Heartbleed. It also examines the responsibilities of developers where they use third party libraries and the need for appropriate due diligence. The paper also makes recommendations about how incidents like this should be handled to avoid confusing and contradictory messages being given.
Inspec keywords: Internet; software libraries; program debugging; operating system kernels; public domain software; trusted computing
Subjects: Software engineering techniques; Internet software; Operating systems; Data security; Diagnostic, testing, debugging and evaluating systems; Programming support
Related content
content/conferences/10.1049/cp.2014.0970
pub_keyword,iet_inspecKeyword,pub_concept
6
6
