We study the decidability of the safety problem in the usage control (UCON) model. After defining a formal model, we identify sufficient conditions for the decidability of the safety problem for UCON systems whose attributes are allowed to range over infinite domains and updates in one process may affect the state of another. Our result is a significant generalization of those available in the literature. © 2012 Springer-Verlag.
On the automated analysis of safety in usage control: A new decidability result / Ranise, S.; Armando, A.. - 7645:(2012), pp. 15-28. (Intervento presentato al convegno 6th International Conference on Network and System Security, NSS 2012 tenutosi a Wuyishan, Fujian, chn nel 2012) [10.1007/978-3-642-34601-9_2].
On the automated analysis of safety in usage control: A new decidability result
Ranise S.;
2012-01-01
Abstract
We study the decidability of the safety problem in the usage control (UCON) model. After defining a formal model, we identify sufficient conditions for the decidability of the safety problem for UCON systems whose attributes are allowed to range over infinite domains and updates in one process may affect the state of another. Our result is a significant generalization of those available in the literature. © 2012 Springer-Verlag.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione
