Data di Pubblicazione:
1993
Citazione:
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].
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 entities
Tipologia IRIS:
03 - Contributo in volume
Elenco autori:
S. Castano, P. Samarati, C. Villa
Link alla scheda completa:
Titolo del libro:
Proceedings of IEEE International Carnahan Conference on Security Technology