CSIAC

Cyber Security and Information Systems Information Analysis Center

header-right

Main navigation

/ 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) Better Buying Power (BBP) Biometric Cloud Computing Critical Infrastructure Protection (CIP) Cryptography Cyber Crime Cyber Legislation Cybersecurity Cybersecurity Training Cyber Warfare Data Breach Data Security Defense Technical Information Center (DTIC) Did You Know? DISA DoD Acquisition Lifecycle Encryption Hacking Insider Threat Internet of Things (IoT) Intrusion Detection IT Security Machine Learning Malware Mobile Security Modeling & Simulation 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 Engineering Vulnerability Wargaming Workplace Security