skip to main content
column

Time Issues in Programs Vulnerabilities for Programming Languages or Systems

Published:13 July 2016Publication History
Skip Abstract Section

Abstract

ISO IEC JTC 1 SC 22 WG 23 Vulnerabilities Working Group is documenting new vulnerabilities in preparation for the release of TR 24772 edition 3. An identified area is in the accounting and management of time in normal systems and real-time systems. Various vulnerabilities related to time are documented, as well as avoidance and mitigations of the issues raised.

References

  1. ISO IEC TR 15942:2013, "Information Technology -- Programming Languages -- Guidance on Avoiding Programming Language Vulnerabilities", International Standards Organization, Geneva, Switzerland, 2012Google ScholarGoogle Scholar
  2. ISO IEC 8652:2012. "Programming Languages and their Environments -- Programming Language Ada". International Standards Organization, Geneva, Switzerland, 2012.Google ScholarGoogle Scholar
  3. Burns, Alan, and Wellings, Andy. "Programming Language Vulnerabilities -- Lets not forget concurrency", International Real Time Ada Workshop 14, ACM Ada Letters, New York, NY, 2012.Google ScholarGoogle Scholar
  4. Motor Industry Software Reliability Association. "Guidelines for the Use of the C Languag( s in Vehicle Based Software", 2012 (third edition).Google ScholarGoogle Scholar
  5. Motor Industry Software Reliability Association."Guidelines for the Use of the C++ Language in Vehicle Based Software", 2008.Google ScholarGoogle Scholar
  6. ISO IEC TR 14592, "Guidance for the use of Ada in high integrity systems", ISO, Geneva Switzerland, 2001.Google ScholarGoogle Scholar
  7. Stroustrop, B. "Joint Strike Fighter Air Vehicle C++ Coding Standards for the System Development and Demonstration Program", available from http://www.stroustrup.com/JSF-AV-rules.pdfGoogle ScholarGoogle Scholar
  8. "Common Weakness Enumeration", MITRE Corp, cwe.mitre.orgGoogle ScholarGoogle Scholar

Recommendations

Comments

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Sign in

Full Access

  • Published in

    cover image ACM SIGAda Ada Letters
    ACM SIGAda Ada Letters  Volume 36, Issue 1
    June 2016
    98 pages
    ISSN:1094-3641
    DOI:10.1145/2971571
    Issue’s Table of Contents

    Copyright © 2016 Author

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    • Published: 13 July 2016

    Check for updates

    Qualifiers

    • column

PDF Format

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader
About Cookies On This Site

We use cookies to ensure that we give you the best experience on our website.

Learn more

Got it!