QuARC: expressive security mechanisms | IEEE Conference Publication | IEEE Xplore