tcoof-security Trait-based Coalition Formation Framework for dynamic security situations Development Install JDK 8 (Sbt doesn't currently work with JDK9). It doesn't have to be your default machine-wide java installation. Install IDEA, install Scala plugin. Import the project. Set JDK8 as project SDK in File - Project Structure Run example/SecurityScenario.scala.