security consulting systems systems integration tactical theorem proving control information technology e-commerce symbolic computation equipment