The key to achieving information dominance by the US armed forces is the transmittal of accurate and timely information to the warfighter when and where it is needed. Information Assurance (IA) is the foundation for ensuring that critical information is both accurate and timely. However, innovative approaches are needed to achieve high levels of information assurance for military applications such as command and control (C2). An adaptation of theoretical checker results derived from the research of Dr. Manuel Blum at the University of California at Berkeley has been applied to several real-life applications at Raytheon with promising results. Under the United States Air Force (USAF) Self-Checking Embedded Information System Software (SCEISS) program, we have begun applying checkers to enhance the IA of a system. In this paper, we present examples of how checkers might be applied as solutions to IA problems and we assess the benefits of using checkers instead of, or in conjunction with, more traditional IA methods. We conclude with near term plans to demonstrate and validate the use of checkers for IA in a realistic C2 application.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Self-checking software for information assurance in the 21st century


    Beteiligte:
    Reinhart, T. (Autor:in) / Boettcher, C. (Autor:in) / Gotfried, R. (Autor:in) / Kuckelman, M. (Autor:in)


    Erscheinungsdatum :

    01.01.2000


    Format / Umfang :

    686325 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Self-Checking Software for Information Assurance in the 21^s^t Century

    Reinhart, T. / IEEE / AIAA | British Library Conference Proceedings | 2000


    Self-checking software

    Cha, Sung D. / Leveson, Nancy G. / Shimeall, Timothy J. et al. | NTRS | 1986


    Irrigation Software: Farming in the 21st Century

    British Library Online Contents | 1995



    21st century Bradshaws

    Glover, J. | British Library Online Contents | 2008