A Trust Management Approach for Flexible Policy Management in Security-Typed Languages | IEEE Conference Publication | IEEE Xplore