Run-Time Security Evaluation (RTSE) for Distributed Applications

Author

Cristina Serban
Bruce M. McMillin, Missouri University of Science and TechnologyFollow

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.

Recommended Citation

C. Serban and B. M. McMillin, "Run-Time Security Evaluation (RTSE) for Distributed Applications," Proceedings of the IEEE Computer Society Symposium on Research in Security and Privacy, pp. 222 - 232, Jan 1996.

Department(s)

Computer Science

International Standard Serial Number (ISSN)

1063-7109

Document Type

Article - Conference proceedings

Document Version

Citation

File Type

text

Language(s)

English

Rights

© 2024 The Authors, All rights reserved.

Publication Date

01 Jan 1996