The paper presents a tool for verifying, during the system security design, security properties of data used by complex applications, to improve the overall security policies. The tool is based on the use ofColoured Petri Nets. Petri net analysis techniques are used to verify security properties of the system. To make the tool widely applicable, a reference data model is described, based on entities and links between entities
Verifying System Security Using Petri Nets / S. Castano, P. Samarati, C. Villa - In: Proceedings of IEEE International Carnahan Conference on Security Technology[s.l] : IEEE, 1993. - ISBN 0-7803-1479-4. - pp. 244-250 (( convegno Proceedings of IEEE International Carnahan Conference on Security Technology tenutosi a Ottawa, Canada nel 1993 [10.1109/CCST.1993.386794].
Verifying System Security Using Petri Nets
S. CastanoPrimo
;P. SamaratiSecondo
;
1993
Abstract
The paper presents a tool for verifying, during the system security design, security properties of data used by complex applications, to improve the overall security policies. The tool is based on the use ofColoured Petri Nets. Petri net analysis techniques are used to verify security properties of the system. To make the tool widely applicable, a reference data model is described, based on entities and links between entitiesPubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.