Requirements for Developing Embedded Real-Time Trusted Computer System (ERT-TCSs)

摘要

This paper documents the results of a research effort that attempts to define andcategorize the requirements for secure embedded realtime systems. Of major importance, is the recognition that security environments, and hence requirements, change during the life cycle of these systems. Thus this paper defines separate requirements for the development, operations, and maintenance environments for secure embedded real time systems.