Specification of an access control system with a formalism combining CCS and CASL | IEEE Conference Publication | IEEE Xplore