A DSL Framework for Policy-Based Security of Distributed Systems | IEEE Conference Publication | IEEE Xplore