Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231)最新文献_第4页

Verification in concurrent programming with Petri nets structural techniques Petri网结构技术在并发编程中的验证

Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231) Pub Date : 1998-11-13 DOI: 10.1109/HASE.1998.731604

Kamel Barkaoui, Jean-François Pradat-Peyre

引用次数: 17

Agent information contracts within virtual private networks 代理信息契约在虚拟专用网络内

Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231) Pub Date : 1998-11-13 DOI: 10.1109/HASE.1998.731634

IV ManuelAparicio, Peter Herman, W. Stephens, Anuj K. Jain, Munindar P. Singh

{"title":"Agent information contracts within virtual private networks","authors":"IV ManuelAparicio, Peter Herman, W. Stephens, Anuj K. Jain, Munindar P. Singh","doi":"10.1109/HASE.1998.731634","DOIUrl":"https://doi.org/10.1109/HASE.1998.731634","url":null,"abstract":"Virtual enterprises are being built on an Internet backbone, for which security provisioning is an obvious first concern. However, additional services need provisioning as well. For instance, contracted arrangements for quality inspection, notification of delay, and other such coordinations can be provided by semi-autonomous agent-based services. We introduce information contracts, which specify the commitments of ContractAgents to each other. Based on human-readable contract templates with fill-in-the-black terms, ContractAgents manage the negotiation stage between user specialists and then operationalize and ensure these commitments during enactment. Building on the idea of an agent-based sphere of commitments (SoComs) to overcome weaknesses in extended transaction processing and traditional workflow management, we show how ContractAgents also need to be positioned within the security architecture of virtual private networks. The standardization of contracts, SoCom servers, and operationalized commitments can then provide a basis for compliance checks by trusted third parties and oversight authorities.","PeriodicalId":340424,"journal":{"name":"Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231)","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114950322","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}

引用次数: 1

Design for constraint violation detection in safety-critical systems 安全关键系统中的约束违例检测设计

Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231) Pub Date : 1998-11-13 DOI: 10.1109/HASE.1998.731602

S. Subramanian, Sanjai Rayadurgam, W. Tsai

引用次数: 1

Combining various solution techniques for dynamic fault tree analysis of computer systems 结合各种求解技术进行计算机系统的动态故障树分析

Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231) Pub Date : 1998-11-13 DOI: 10.1109/HASE.1998.731591

R. Manian, J. Dugan, D. Coppit, K. Sullivan

引用次数: 138

Specifying and verifying temporal behavior of high assurance systems using reachability tree logic 使用可达性树逻辑指定和验证高保证系统的时间行为

Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231) Pub Date : 1998-11-13 DOI: 10.1109/HASE.1998.731607

Stephen J. H. Yang, W. Chu, Jonathan Lee

引用次数: 0

Using composition to design secure, fault-tolerant systems 使用组合来设计安全、容错的系统

Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231) Pub Date : 1998-11-13 DOI: 10.1109/HASE.1998.731592

D. Olawsky, C. Payne, T. Sundquist, D. Apostal, T. Fine

引用次数: 1

In-parameter-order: a test generation strategy for pairwise testing 参数顺序:一种成对测试的测试生成策略

Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231) Pub Date : 1998-11-13 DOI: 10.1109/HASE.1998.731623

Yu Lei, K. Tai

{"title":"In-parameter-order: a test generation strategy for pairwise testing","authors":"Yu Lei, K. Tai","doi":"10.1109/HASE.1998.731623","DOIUrl":"https://doi.org/10.1109/HASE.1998.731623","url":null,"abstract":"Pairwise testing (or 2-way testing) is a specification-based testing criterion, which requires that for each pair of input parameters of a system, every combination of valid values of these two parameters be covered by at least one test case. Empirical results show that pairwise testing is practical and effective for various types of software systems. We show that the problem of generating a minimum test set for pairwise testing is NP-complete. We propose a test generation strategy, called in-parameter-order (or IPO), for pairwise testing. For a system with two or more input parameters, the IPO strategy generates a pairwise test set for the first two parameters, extends the test set to generate a pairwise test set for the first three parameters, and continues to do so for each additional parameter. The IPO strategy allows the use of local optimization techniques for test generation and the reuse of existing tests when a system is extended with new parameters or new values of existing parameters. We present practical, IPO-based test generation algorithms. We describe the implementation of an IPO-based test generation tool and show some empirical results.","PeriodicalId":340424,"journal":{"name":"Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231)","volume":"71 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126840714","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}

引用次数: 403

Checking modification tolerance 检查修改公差

Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231) Pub Date : 1900-01-01 DOI: 10.1109/HASE.1998.731589

M. Dal Cin

引用次数: 5