Modelling smart security for classified rooms with DOVE
J. Michael McCarthy, J. M. Thredgold · 2002
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.