Abstract
We present a new paradigm for the development of trustworthy systems. It differs from our current paradigm by separating distinct desiderata that are bundled in the Trusted Computer System Evaluation Criteria, requiring that our formalisms be tied to real world concerns, requiring a uniform method for assuring that formalisms are met, replacing a code-then-validate methodology by a refinement-based methodology, and using composability logic to develop systems from COTS software.
Cite
CITATION STYLE
McLean, J. (1993). New paradigms for high assurance software. In Proceedings New Security Paradigms Workshop (Vol. Part F129673, pp. 42–47). Association for Computing Machinery. https://doi.org/10.1145/283751.283773
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
