DocumentCode
3312566
Title
On requirements and security in a CCIS
Author
O´Halloran, Colin
Author_Institution
Defence Res. Agency, RSRE, Malvern, UK
fYear
1992
fDate
16-18 Jun 1992
Firstpage
121
Lastpage
134
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Security Foundations Workshop V, 1992. Proceedings.
Conference_Location
Franconia, NH
Print_ISBN
0-8186-2850-2
Type
conf
DOI
10.1109/CSFW.1992.236782
Filename
236782
Link To Document