http://sei.cmu.edu/feeds/tag/Updates on changes and additions to the SEI Blog for posts matching System Verification and Validationen-usThu, 13 Feb 2020 00:00:00 -0500https://www.sei.cmu.edu/blog/comments-on-nist-ir-8269-a-taxonomy-and-terminology-of-adversarial-machine-learning/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesThe U.S. National Institute of Standards and Technology (NIST) recently held a public comment period on their draft report on proposed taxonomy and terminology of Adversarial Machine Learning (AML)....Jonathan SpringThu, 13 Feb 2020 00:00:00 -0500https://www.sei.cmu.edu/blog/comments-on-nist-ir-8269-a-taxonomy-and-terminology-of-adversarial-machine-learning/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesSecurity VulnerabilitiesCERT/CCAutonomy and Counter-AutonomySoftware and Information AssuranceSystem Verification and ValidationMission Assurancehttps://www.sei.cmu.edu/blog/improving-insider-threat-detection-methods-through-software-engineering-principles/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesTuning detective controls is a key component of implementing and operating an insider threat program, and one we have seen many organizations struggle with....Dan CostaFri, 20 Sep 2019 00:00:00 -0400https://www.sei.cmu.edu/blog/improving-insider-threat-detection-methods-through-software-engineering-principles/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesInsider ThreatSystem Verification and Validationhttps://www.sei.cmu.edu/blog/enabling-shift-left-testing-from-small-teams-to-large-systems/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesShift left is a familiar exhortation to teams and organizations engaged in Agile and Lean software development. It most commonly refers to incorporating test practices....Nanette BrownMon, 18 Mar 2019 00:00:00 -0400https://www.sei.cmu.edu/blog/enabling-shift-left-testing-from-small-teams-to-large-systems/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesSystem Verification and ValidationTestingAgilehttps://www.sei.cmu.edu/blog/the-modern-software-factory-and-independent-vv-for-machine-learning-two-key-recommendations-for-improving-software-in-defense-systems/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesThis post highlights recommendations from a Defense Science Board report on how to improve software acquisition in defense.Paul NielsenMon, 25 Feb 2019 00:00:00 -0500https://www.sei.cmu.edu/blog/the-modern-software-factory-and-independent-vv-for-machine-learning-two-key-recommendations-for-improving-software-in-defense-systems/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesSystem Verification and Validationhttps://www.sei.cmu.edu/blog/rapid-software-composition-by-assessing-untrusted-components/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesToday, organizations build applications on top of existing platforms, frameworks, components, and tools; no one constructs software from scratch....Rick KazmanMon, 26 Nov 2018 00:00:00 -0500https://www.sei.cmu.edu/blog/rapid-software-composition-by-assessing-untrusted-components/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesSoftware and Information AssuranceSoftware ArchitectureSystem Verification and Validationhttps://www.sei.cmu.edu/blog/certifiable-distributed-runtime-assurance-in-cyber-physical-systems/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesRuntime assurance (RA) has become a promising technique for ensuring the safe behavior of autonomous systems (such as drones or self-driving vehicles) whose behavior cannot be fully determined at design time....Dionisio de NizMon, 16 Jul 2018 00:00:00 -0400https://www.sei.cmu.edu/blog/certifiable-distributed-runtime-assurance-in-cyber-physical-systems/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesSystem Verification and Validationhttps://www.sei.cmu.edu/blog/infrastructure-as-code-moving-beyond-devops-and-agile/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesCiting the need to provide a technical advantage to the warfighter, the Department of Defense (DoD) has recently made the adoption of cloud computing technologies a priority....John KleinMon, 11 Jun 2018 00:00:00 -0400https://www.sei.cmu.edu/blog/infrastructure-as-code-moving-beyond-devops-and-agile/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesDevopsCloud ComputingSoftware and Information AssuranceSystem Verification and ValidationAgilehttps://www.sei.cmu.edu/blog/why-is-measurement-so-hard/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesDeveloping security metrics within an organization is an ongoing challenge. Organizations want to know "Am I secure enough?" While this is the common question, it lacks context....Katie StewartWed, 28 Feb 2018 00:00:00 -0500https://www.sei.cmu.edu/blog/why-is-measurement-so-hard/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesInsider ThreatSystem Verification and Validationhttps://www.sei.cmu.edu/blog/bitcoin-blockchain-machine-learning-and-ransomware-the-top-10-posts-of-2017/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesEach year since the blog's inception, we present the 10 most-visited posts of the year in descending order ending with the most popular post. In this blog post, we present the 10 most popular posts published between January 1, 2017 and December 31, 2017.10....Douglas SchmidtMon, 08 Jan 2018 00:00:00 -0500https://www.sei.cmu.edu/blog/bitcoin-blockchain-machine-learning-and-ransomware-the-top-10-posts-of-2017/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesBlockchainAutonomy and Counter-AutonomyCyber MissionsSystem Verification and ValidationBest Practices in Network SecurityMission Assurancehttps://www.sei.cmu.edu/blog/cyber-warfare-technical-debt-network-border-protection-and-insider-threat-the-latest-work-from-the-sei/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesThis SEI Blog post highlights recent SEI publications in cyber warfare, emerging technologies, network protection, and more.Douglas SchmidtMon, 27 Nov 2017 00:00:00 -0500https://www.sei.cmu.edu/blog/cyber-warfare-technical-debt-network-border-protection-and-insider-threat-the-latest-work-from-the-sei/?utm_source=blog&utm_medium=rss&utm_campaign=my_site_updatesArtificial Intelligence EngineeringInsider ThreatSystem Verification and ValidationArtificial IntelligenceData Modeling and Analytics