Run-time security evaluation (RTSE) for distributed applications

Authors:
Cristina Serban;Bruce McMillin
Affiliations:
Department of Computer Science, University of Missouri-Rolla, Rolla, MO;Department of Computer Science, University of Missouri-Rolla, Rolla, MO
Venue:
SP'96 Proceedings of the 1996 IEEE conference on Security and privacy
Year:
1996

Citing 5
Cited 0

Communicating sequential processes

Communicating sequential processes
Advanced Concepts in Operating Systems

Advanced Concepts in Operating Systems
A General Method for Maximizing the Error-Detecting Ability of Distributed Algorithms

PARLE '94 Proceedings of the 6th International PARLE Conference on Parallel Architectures and Languages Europe
Efficient solutions to the replicated log and dictionary problems

PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
A General Theory of Composition for Trace Sets Closed under Selective Interleaving Functions

SP '94 Proceedings of the 1994 IEEE Symposium on Security and Privacy

Quantified Score

Hi-index	0.00

Visualization

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.