SOLj: A Domain-Specific Language (DSL) for Secure Service-Based Systems | IEEE Conference Publication | IEEE Xplore