Semiring-based constraint models and frameworks for security-related scenarios | IEEE Conference Publication | IEEE Xplore