Ownership and Immutability Inference for UML-Based Object Access Control | IEEE Conference Publication | IEEE Xplore