Charles River Analytics, a developer of systems solutions, is using its Cyber Adversary Modeling and Simulation toolkit, CyMod, to construct a cyber defense tool that models realistic behavior for the United States Air Force. The company is also using its probabilistic programming language, Figaro™, to build relational models of network...