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 Biometrics Cloud Computing Critical Infrastructure Protection (CIP) Cryptocurrency Cryptography Cyber Legislation Cyber Physical Systems (CPSs) Cybersecurity Training Cyberwarfare Cyber Workforce Data Privacy Defense Information Systems Agency (DISA) Defense Modeling & Simulation Coordination Office (DMSCO) Defense Technical Information Center (DTIC) Did You Know? DoD Acquisition Lifecycle Embedded Systems Encryption High Performance Computing Insider Threat Internet of Things (IoT) Intrusion Detection Linux Machine Learning (ML) Microsoft 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 Wargaming Workplace Security