Jump to navigation

Home

Center for High Assurance Computer Systems

Search form

Sections

You are here

  1. /
  2. NRL /
  3. ITD /
  4. CHACS /
  5. Sections

Code 5540 consists of the following branch sections:

  • 5541: COMSEC Systems
  • 5542: Computer Security
  • 5543: Formal Methods
  • 5544: Network Security
  • 5545: Mobile Systems Security
  • 5546: Software Engineering

Main menu

  • CHACS Home
    • Contact Us
    • Mission Statement
    • Objectives
    • Demographics
    • Focus Areas
    • Major Accomplishments
  • Sections
    • COMSEC Systems (5541)
    • Computer Security (5542)
    • Formal Methods (5543)
    • Network Security (5544)
    • Mobile Systems Security (5545)
    • Software Engineering (5546)
  • Publications
  • CHACS Home
    • Contact Us
    • Mission Statement
    • Objectives
    • Demographics
    • Focus Areas
    • Major Accomplishments
  • Sections
    • COMSEC Systems (5541)
    • Computer Security (5542)
    • Formal Methods (5543)
    • Network Security (5544)
    • Mobile Systems Security (5545)
    • Software Engineering (5546)
  • Publications

  • Home
  • Field Sites
  • Visitor Info
  • Contact NRL
  • Accomplishments
  • Awards & Recognitions
  • Timeline
  • Systems
  • Rockets
  • Solar & Lunar Studies
  • Astronomy
  • Ocean & Environment
  • Materials
  • 90 Years of Innovation
  • Research
  • Directorates & Divisions
  • Nanoscience Institute
  • Laboratory for Autonomous Systems Research
  • Future Naval Capabilities
  • NRL Research Library
  • Facilities
  • Program Sponsors
  • Careers
  • Opportunities
  • Post Docs
  • Students
  • Faculty
  • Benefits
  • About NRL
  • Mission
  • History
  • Commanding Officer
  • Director of Research
  • Reserve Program
  • Inspector General
  • NRL Web Sites
  • Doing Business
  • Tech Transfer
  • NRL Supply Division
  • Contracting Division
  • Small Business
  • Public Affairs & Media
  • Public Affairs Office
  • News Releases
  • NRL Videos
  • Email Updates
  • Social Media
  • NRL Events
  • Publications
  • Popular Images
  • Public Notices
  • Podcast

This Is An Official Navy Website.

U.S. Naval Research Lab 4555 Overlook Ave., SW Washington, DC 20375

  • Department of the Navy
  • Office of Naval Research
  • Navy Recruiting
  • No Fear Act
  • Link Disclaimer
  • Privacy Policy
  • webmaster@nrl.navy.mil
  • FOIA