Modelling Smart Security for Classified Rooms with DOVE

McCarthy, J. and Thredgold, J.

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.

Cite as: McCarthy, J. and Thredgold, J. (2002). Modelling Smart Security for Classified Rooms with DOVE. In Proc. Workshop on Formal Methods Applied to Defence Systems 2002, Adelaide, Australia. CRPIT, 12. Lakos, C., Esser, R., Kristensen, L. M. and Billington, J., Eds. ACS. 135-144.

(from crpit.com) (local if available)