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 Air Force Research Laboratory (AFRL) Artificial Intelligence (AI) Autonomy and Autonomous Systems Biometrics Cloud Computing Critical Infrastructure Protection (CIP) Cryptocurrency Cryptography Cyber Attack Cyber Legislation Cybersecurity Cybersecurity Awareness Month Cyberwarfare Cyber Workforce Data Breach Data Privacy Data Security Department of Defense (DoD) DoD Acquisition Lifecycle Encryption Industrial Control Systems (ICS) Insider Threat Internet of Things (IoT) Intrusion Detection Machine Learning (ML) Malware Microsoft Mobile Security National Institute of Standards and Technology (NIST) National Security Agency (NSA) 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 Development Vulnerability Workplace Security