Trusted System Construction

Authors:
Colin O'Halloran
Affiliations:
-
Venue:
CSFW '99 Proceedings of the 12th IEEE workshop on Computer Security Foundations
Year:
1999

Citing 4
Cited 0

Communicating sequential processes

Communicating sequential processes
The Theory and Practice of Concurrency

The Theory and Practice of Concurrency
A Map of Security Risks Associated with Using COTS

Computer
Don't Verify, Abstract!

ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Any system constructed today is likely to be constructed from COTS components. Encapsulation of these components using software wrappers promises to enable trusted systems to be constructed. These systems are complex and it is difficult to impose security without compromising operational effectiveness. The key problem which this paper addresses is to analyse encapsulations of COTS components to demonstrate the system is both secure and usable. Any foundation must be able to deal with the conflicting requirements of operational effectiveness and security especially with respect to COTS components. The approach is illustrated using the X windowing system.