可信赖的计算机系统标准对于关键性不是安全性的系统开发有用吗?

Fifth Annual Conference on Computer Assurance, Systems Integrity, Software Safety and Process Security. Pub Date : 1990-06-25 DOI:10.1109/CMPASS.1990.175417

H. O. Lubbes, H. Johnson, C. Pfleeger, P. Neumann

{"title":"可信赖的计算机系统标准对于关键性不是安全性的系统开发有用吗?","authors":"H. O. Lubbes, H. Johnson, C. Pfleeger, P. Neumann","doi":"10.1109/CMPASS.1990.175417","DOIUrl":null,"url":null,"abstract":"A discussion is given on the application of the Department of Defense (DOD) trusted computer system evaluation criteria (TCSEC) and equivalent criteria to systems that must be trusted to support fail-safe (e.g., all failures leave the system in a safe state), mandatory sequence (no process is invoked out of sequence), guaranteed completion (processes are guaranteed to complete in a specific time allocation), integrity, guaranteed service, and authorized invocation (processes are guaranteed to be invoked only by authorized stimulus) policies.<<ETX>>","PeriodicalId":122768,"journal":{"name":"Fifth Annual Conference on Computer Assurance, Systems Integrity, Software Safety and Process Security.","volume":"59 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1990-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Are trusted computer system standards useful for the development of systems whose criticality is other than security?\",\"authors\":\"H. O. Lubbes, H. Johnson, C. Pfleeger, P. Neumann\",\"doi\":\"10.1109/CMPASS.1990.175417\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A discussion is given on the application of the Department of Defense (DOD) trusted computer system evaluation criteria (TCSEC) and equivalent criteria to systems that must be trusted to support fail-safe (e.g., all failures leave the system in a safe state), mandatory sequence (no process is invoked out of sequence), guaranteed completion (processes are guaranteed to complete in a specific time allocation), integrity, guaranteed service, and authorized invocation (processes are guaranteed to be invoked only by authorized stimulus) policies.<<ETX>>\",\"PeriodicalId\":122768,\"journal\":{\"name\":\"Fifth Annual Conference on Computer Assurance, Systems Integrity, Software Safety and Process Security.\",\"volume\":\"59 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1990-06-25\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Fifth Annual Conference on Computer Assurance, Systems Integrity, Software Safety and Process Security.\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/CMPASS.1990.175417\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Fifth Annual Conference on Computer Assurance, Systems Integrity, Software Safety and Process Security.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CMPASS.1990.175417","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

讨论了国防部可信计算机系统评估标准(TCSEC)和等效标准在系统中的应用，这些系统必须是可信的，以支持故障安全(例如，所有故障使系统处于安全状态)、强制顺序(没有进程被打乱顺序调用)、保证完成(保证进程在特定的时间分配内完成)、完整性、保证服务。授权调用(流程保证仅由授权的刺激措施调用)策略。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Are trusted computer system standards useful for the development of systems whose criticality is other than security?

A discussion is given on the application of the Department of Defense (DOD) trusted computer system evaluation criteria (TCSEC) and equivalent criteria to systems that must be trusted to support fail-safe (e.g., all failures leave the system in a safe state), mandatory sequence (no process is invoked out of sequence), guaranteed completion (processes are guaranteed to complete in a specific time allocation), integrity, guaranteed service, and authorized invocation (processes are guaranteed to be invoked only by authorized stimulus) policies.<>

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Fifth Annual Conference on Computer Assurance, Systems Integrity, Software Safety and Process Security.

自引率

0.00%

发文量