Modelling smart security for classified rooms with DOVE

Authors:
J. McCarthy;J. Thredgold
Affiliations:
Trusted Computer Systems Group, Defence Science and Technology Organisation, PO Box 1500, Edinburgh, South Australia 5111;Trusted Computer Systems Group, Defence Science and Technology Organisation, PO Box 1500, Edinburgh, South Australia 5111
Venue:
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
Year:
2002

Citing 2
Cited 2

DOVE: A Tool for Design Oriented Verification and Evaluation

AMAST '97 Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology
The Intelligent Room project

CT '97 Proceedings of the 2nd International Conference on Cognitive Technology (CT '97)

A secure pervasive environment

ACSW Frontiers '03 Proceedings of the Australasian information security workshop conference on ACSW frontiers 2003 - Volume 21
Security in depth through smart space cascades

ACISP'11 Proceedings of the 16th Australasian conference on Information security and privacy

Quantified Score

Hi-index	0.00

Visualization

Abstract

Following various "intelligent room" projects, it is interesting to consider how such technology might support collaborative work in a Defence environment. The classified rooms where operations planning take place are just one instance. Clearly, by their nature, such rooms require strong physical security, and "smart" devices could help to automate this to some extent. Here we discuss the results of an application of the DOVE formal modelling tool to analyse security in this context.