Proceedings of IEEE 6th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises最新文献_第6页

A semantic approach of virtual worlds interoperability 虚拟世界互操作性的语义方法

Proceedings of IEEE 6th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises Pub Date : 1997-06-18 DOI: 10.1109/ENABL.1997.630810

M. Soto, Sébastien Allongue

引用次数: 24

A CORBA-based approach to design gateways for multidatabase systems 为多数据库系统设计网关的基于corba的方法

Proceedings of IEEE 6th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises Pub Date : 1997-06-18 DOI: 10.1109/ENABL.1997.630789

G. Iazeolla, A. D’Ambrogio

引用次数: 0

Working group report on building secure knowledge systems 关于建立安全知识系统的工作组报告

Proceedings of IEEE 6th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises Pub Date : 1997-06-18 DOI: 10.1109/ENABL.1997.630831

Barbara C. Davis, B. J. Wood

引用次数: 0

Secure mobile IP using IP security primitives 使用IP安全原语保护移动IP

Proceedings of IEEE 6th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises Pub Date : 1997-06-18 DOI: 10.1109/ENABL.1997.630820

Atsushi Inoue, M. Ishiyama, Atsushi Fukumoto, Toshio Okamoto

引用次数: 15

From protocol specifications to flaws and attack scenarios: an automatic and formal algorithm 从协议规范到缺陷和攻击场景:一个自动和形式化的算法

Proceedings of IEEE 6th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises Pub Date : 1997-06-18 DOI: 10.1109/ENABL.1997.630823

M. Debbabi, M. Mejri, N. Tawbi, I. Yahmadi

{"title":"From protocol specifications to flaws and attack scenarios: an automatic and formal algorithm","authors":"M. Debbabi, M. Mejri, N. Tawbi, I. Yahmadi","doi":"10.1109/ENABL.1997.630823","DOIUrl":"https://doi.org/10.1109/ENABL.1997.630823","url":null,"abstract":"Presents a new approach to the verification of authentication protocols. This approach is formal, fully automatic and does not necessitate any specification of any protocol property or invariant. It takes the protocol specification as the parameter and generates the set of flaws, if any, as well as the corresponding attack scenarios. This approach involves three steps. First, protocol roles are extracted from the protocol specification. Second, the intruder's abilities to perform communication and computation are generated from the protocol specification. In addition to the classical, known intruder computational abilities, such as encryption and decryption, we also consider those computations that result from different instrumentations of the protocol. The intruder's abilities are modeled as a deductive system. Third, the extracted roles as well as the deductive system are combined to perform the verification. The latter consists in checking whether the intruder can answer all the challenges uttered by a particular role. If that is the case, an attack scenario is automatically constructed. To exemplify the usefulness and efficiency of our approach, we illustrate it on the Woo and Lam (1994) authentication protocol.","PeriodicalId":334410,"journal":{"name":"Proceedings of IEEE 6th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128957576","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}

引用次数: 27

A framework for distributed Web-based microsystem design 基于web的分布式微系统设计框架

Proceedings of IEEE 6th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises Pub Date : 1997-06-18 DOI: 10.1109/ENABL.1997.630793

D. Saha, A. Chandrakasan

引用次数: 8

Secure workflow environment 安全的工作流环境

Proceedings of IEEE 6th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises Pub Date : 1997-06-18 DOI: 10.1109/ENABL.1997.630825

R. Valia, Y. Al-Salqan

{"title":"Secure workflow environment","authors":"R. Valia, Y. Al-Salqan","doi":"10.1109/ENABL.1997.630825","DOIUrl":"https://doi.org/10.1109/ENABL.1997.630825","url":null,"abstract":"Workflow management products are deployed increasingly in almost all business activities and domains. Heterogeneity and geographical distribution are key features of the workflow environment. Workflow environments, therefore, must bridge the geographical barrier in a seamless and secure fashion. In addition, this environment must be platform-independent. In this paper, we present a Web-based secure workflow environment. Our approach integrates public-key encryption with the World Wide Web. Our goal is to provide a Web-based workflow solution so that a group-oriented virtual private network can be established across different geographical locations on the public Internet in a secure manner. Security for workflow technology on the Internet needs to be addressed from the ground up, and must be an integral part of the workflow environment. To this end, a combination of the Secure Sockets Layer (SSL) and a public-key infrastructure may be used. Our solution relies on the portability of the Java language. Such a solution would support the \"write once, run anywhere\" paradigm that Java advocates. This paper describes the traditional workflow mechanisms and discusses state-of-the-art workflow environments. A discussion of the future direction for a secure workflow technology is also presented.","PeriodicalId":334410,"journal":{"name":"Proceedings of IEEE 6th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126674257","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}

引用次数: 7

Coordinating Java agents with multiple coordination languages on the Berlinda platform 在Berlinda平台上使用多种协调语言协调Java代理

Proceedings of IEEE 6th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises Pub Date : 1997-06-18 DOI: 10.1109/ENABL.1997.630801

R. Tolksdorf

引用次数: 7