A new paradigm for trusted systems

  title={A new paradigm for trusted systems},
  author={Dorothy E. Denning},
The current paradigm for trusted computer syst,ems holds that trust is a property of a system. It is a. property that ca.n be formally modeled, specified, and verified. It can be “designed int,o” a. system using a rigorous design methodology. For high levels of a.ssurante, the design methodology uses forma.1 models sod methods in order to “prove” tha.t trust is present. This paradigm underlies The Department of Defense Trusted Computer System E~valuation Criteria (TCSEC) [3], commonly ca.lled… CONTINUE READING
Highly Cited
This paper has 79 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 42 extracted citations

Performance analysis of FTDSR and AOTDV trust based routing protocols

2014 Eleventh International Conference on Wireless and Optical Communications Networks (WOCN) • 2014
View 3 Excerpts

Agreement Technologies

Law, Governance and Technology Series • 2013

Self-Adjustable Trust-Based Energy Efficient Routing for Smart Grid Systems

2012 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology • 2012
View 1 Excerpt

79 Citations

Citations per Year
Semantic Scholar estimates that this publication has 79 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…