Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance最新文献

An experience modeling critical requirements 对关键需求建模的经验

Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance Pub Date : 1994-06-27 DOI: 10.1109/CMPASS.1994.318448

C. Payne, A. Moore, D. Mihelcic

引用次数: 12

Case study: Applying formal methods to the Traffic Alert and Collision Avoidance System (TCAS) II 案例研究:将形式化方法应用于交通警报和避碰系统(TCAS) II

Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance Pub Date : 1994-06-27 DOI: 10.1109/CMPASS.1994.318468

J. Britt

引用次数: 10

Formal methods and dependability assessment 正式方法和可靠性评估

Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance Pub Date : 1994-06-27 DOI: 10.1109/CMPASS.1994.318467

V. Stavridou, S. Liu, B. Dutertre

引用次数: 3

A formal model of several fundamental VHDL concepts 几个基本VHDL概念的形式化模型

Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance Pub Date : 1994-06-27 DOI: 10.1109/CMPASS.1994.318454

D. Goldschlag

引用次数: 4

Estimation of coverage probabilities for dependability validation of fault-tolerant computing systems 容错计算系统可靠性验证的覆盖概率估计

Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance Pub Date : 1994-06-27 DOI: 10.1109/CMPASS.1994.318463

C. Constantinescu

引用次数: 10

State minimization for concurrent system analysis based on state space exploration 基于状态空间探索的并行系统分析的状态最小化

Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance Pub Date : 1994-06-27 DOI: 10.1109/CMPASS.1994.318461

Inhye Kang, Insup Lee

引用次数: 20

Formal methods in the design of Ada 9X Ada 9X设计中的形式化方法

Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance Pub Date : 1994-06-27 DOI: 10.1109/CMPASS.1994.318469

D. Guaspari

引用次数: 1

A development of hazard analysis to aid software design 危害分析的发展，以帮助软件设计

Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance Pub Date : 1994-06-27 DOI: 10.1109/CMPASS.1994.318470

J. Mcdermid, D. Pumfrey

引用次数: 95

Experience applying the CoRE method to the Lockheed C-130J software requirements 具有将CoRE方法应用于洛克希德C-130J软件需求的经验

Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance Pub Date : 1994-06-27 DOI: 10.1109/CMPASS.1994.318472

S. Faulk, L. Finneran, J. Kirby, S. Shah, J. Sutton

引用次数: 61

On measurement of operational security [software reliability] 关于操作安全性的测量[软件可靠性]

Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance Pub Date : 1994-06-27 DOI: 10.1109/CMPASS.1994.318447

S. Brocklehurst, B. Littlewood, T. Olovsson, E. Jonsson

{"title":"On measurement of operational security [software reliability]","authors":"S. Brocklehurst, B. Littlewood, T. Olovsson, E. Jonsson","doi":"10.1109/CMPASS.1994.318447","DOIUrl":"https://doi.org/10.1109/CMPASS.1994.318447","url":null,"abstract":"Ideally, a measure of the security of a system should capture quantitatively the intuitive notion of 'the ability of the system to resist attack'. That is, it should be operational, reflecting the degree to which the system can be expected to remain free of security breaches under particular conditions of operation (including attack). Instead, current security levels at best merely reflect the extensiveness of safeguards introduced during the design and development of a system. Whilst we might expect a system developed to a higher level than another to exhibit 'more secure behaviour' in operation, this cannot be guaranteed; more particularly, we cannot infer what the actual security behaviour will be from knowledge of such a level. In the paper we discuss similarities between reliability and security with the intention of working towards measures of 'operational security' similar to those that we have for reliability of systems. Very informally, these measures could involve expressions such as the rate of occurrence of security breaches (cf. rate of occurrence of failures in reliability), or the probability that a specified 'mission' can be accomplished without a security breach (cf. reliability function). This new approach is based on the analogy between system failure and security breach, but it raises several issues which invite empirical investigation. We briefly describe a pilot experiment that we have conducted to judge the feasibility of collecting data to examine these issues.<<ETX>>","PeriodicalId":137767,"journal":{"name":"Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance","volume":"274 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121387370","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 4