A Security Policy Definition Language, Semantics, and Open Source Tools