Proceedings of National Computer Security Conference Held in Washington, DC on 15-18 September 1986 (Computer Security - for Today and for Tomorrow

Abstract

Partial Contents: A Brief Summary of a Verification Assessment Study; A Network Security Perspective; Smart Terminals for Trusted Computer Systems; Database Systems and the Criteria: Do They Relate? Integrity in Trusted Database Systems; A Verified Labeler for the Secure Ada Target; Limitations of Dial-Up Security Devices; Automated Analysis of Computer System Audit Trails for Security Purposes; Managing Exposure to Potentially Malicious Programs; Towards a Discipline for Developing Verified Software; Using Software Analysis Tools to Analyze the Security Characteristics of HOL Programs.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 18, 1986
Accession Number
ADA221717

Entities

Organizations

  • National Institute of Standards and Technology

Tags

Communities of Interest

  • C4I
  • Cyber
  • Engineered Resilient Systems
  • Human Systems
  • Space
  • Weapons Technologies

DTIC Thesaurus Topics

  • Application Software
  • Computer Access Control
  • Computer Crime
  • Computer Network Security
  • Computer Networks
  • Computer Program Documentation
  • Computer Program Reliability
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Cybersecurity
  • Information Systems
  • Multiple Access
  • Network Science
  • Operating Systems
  • Personnel Management

Fields of Study

  • Computer science

Readers

  • Academic Conference Management
  • Cybersecurity.
  • Software Engineering.

Technology Areas

  • Cyber