Verification techniques for policy based systems (2017)
Attributed to:
CIPART: CLOUD INTELLIGENT PROTECTION AT RUN-TIME
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1109/uic-atc.2017.8397415
Publication URI: http://dx.doi.org/10.1109/uic-atc.2017.8397415
Type: Conference/Paper/Proceeding/Abstract