Title :
On requirements and security in a CCIS
Author :
O´Halloran, Colin
Author_Institution :
Defence Res. Agency, RSRE, Malvern, UK
Abstract :
Any foundation for computer security needs to be tested to see whether it is strong enough to support a useful theory. In this paper a case study is presented which illustrates a particular foundation for confidentiality. A natural language confidentiality requirement is formalized in a calculus of information flow and analysed to assess possible conflicts
Keywords :
command and control systems; natural languages; security of data; calculus of information flow; command and control information system; computer security; confidentiality; natural language confidentiality requirement; security; Calculus; Computational modeling; Computer crime; Computer security; Information analysis; Information security; Natural languages; Radio access networks; Radiofrequency interference; Testing;
Conference_Titel :
Computer Security Foundations Workshop V, 1992. Proceedings.
Conference_Location :
Franconia, NH
Print_ISBN :
0-8186-2850-2
DOI :
10.1109/CSFW.1992.236782
