Using Functional Programming and Access-Control Logic for Mission Assurance

Abstract

Critical missions require the guarantees provided through formal verification and functional programming. This provides a strong basis for decisions that must be assured in a contested cyber environment. We present a framework for educating future cyber leaders on these important concepts and tools.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 01, 2011
Accession Number
ADA559764

Entities

People

  • Sarah L. Muccio
  • Shiu-kai Chin
  • Susan Older
  • Thomas N. Vestal

Organizations

  • Air Force Research Laboratory

Tags

Communities of Interest

  • Cyber

DTIC Thesaurus Topics

  • Abstracts
  • Air Force
  • Air Force Research Laboratories
  • Computer Access Control
  • Computer Components
  • Computer Programming
  • Computers
  • Environment
  • Government Employees
  • Governments
  • Guarantees
  • Information Operations
  • Language
  • Military Research
  • Universities
  • Verification

Fields of Study

  • Computer science

Readers

  • Cybersecurity.
  • Database Systems and Applications
  • Joint Military Operations and Doctrine.

Technology Areas

  • Cyber