DocumentCode
1805732
Title
Run-time security evaluation (RTSE) for distributed applications
Author
Serban, Critina ; McMillin, Bruce
Author_Institution
Dept. of Comput. Sci., Missouri Univ., Rolla, MO, USA
fYear
1996
fDate
6-8 May 1996
Firstpage
222
Lastpage
232
Abstract
Formal security specifications for a distributed application can be checked for compliance at run-time using executable security assertions. We propose the run-time security evaluation (RTSE) method which makes use of histories/traces of events, assertions and operational evaluation in the distributed environment to ensure the security specifications for the application are fulfilled at run-time. A model problem is used to aid in developing the security requirements formally
Keywords
distributed processing; formal specification; security of data; assertions; compliance; distributed applications; events; executable security assertions; formal security specifications; histories; operational evaluation; run-time security evaluation; traces; Application software; Computer science; Computer security; Contracts; Hardware; History; Information security; Intrusion detection; National security; Runtime environment;
fLanguage
English
Publisher
ieee
Conference_Titel
Security and Privacy, 1996. Proceedings., 1996 IEEE Symposium on
Conference_Location
Oakland, CA
ISSN
1081-6011
Print_ISBN
0-8186-7417-2
Type
conf
DOI
10.1109/SECPRI.1996.502684
Filename
502684
Link To Document