CSIAC

Cyber Security and Information Systems Information Analysis Center

/ Java

Topic: Java

Journal Article

Increasing Assurance Levels Through Early Verification with Type Safety – Unabridged Version

Published in Journal of Cyber Security and Information Systems
Volume: 3 Number: 2 - Early Prevention & Best Practices
Author: Rick Murphy
| Leave a Comment

Today defense, intelligence and civilian agencies are focused on cyber security challenges. Early results seem conflicting. While media reports are surfacing of unhackable drones, government programs report shortages of qualified applicants to fill cyber security positions. As exploits proliferate and threats mutate, operational teams seek to achieve Read More

Air Force Research Laboratory (AFRL) Army Research Laboratory (ARL) Artificial Intelligence (AI) Autonomy and Autonomous Systems Better Buying Power (BBP) Biometrics Cloud Computing Critical Infrastructure Protection (CIP) Cryptography Cyber Decision Making Cyber Legislation Cyber Physical Systems (CPSs) Cybersecurity Metrics Cybersecurity Training Cyberwarfare Cyber Workforce Defense Information Systems Agency (DISA) Defense Technical Information Center (DTIC) Did You Know? DoD Acquisition Lifecycle Encryption Enterprise Mission Assurance Support Service (eMASS) High Performance Computing Information Analysis Center (IAC) Insider Threat Internet of Things (IoT) Intrusion Detection Machine Learning (ML) Mobile Security National Cyber Security Awareness Month (NCSAM) National Institute of Standards and Technology (NIST) Network Security Open Source Software Operational Technology (OT) Password Security Phishing Protecting Controlled Unclassified Information (CUI) Quantum Computing Ransomware Risk Management Framework (RMF) Secure Software Software Assurance Software Cost Wargaming Workplace Security