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
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;
Conference_Titel :
Security and Privacy, 1996. Proceedings., 1996 IEEE Symposium on
Conference_Location :
Oakland, CA
Print_ISBN :
0-8186-7417-2
DOI :
10.1109/SECPRI.1996.502684
