检索结果-内蒙古大学图书馆

2007 Business and Industry Symposium, BIS 2007

作者： Richardson, Kevin Hamilton, John A. Carlisle, Martin C. Department of Computer Science and Software Engineering Auburn University United States Department of Computer Science United States Air Force Academy United States

ISBN: (纸本)1565553144

Many of today's organizations have set up wireless networks for company use, some merely for the convenience of not having wires everywhere. In addition, many of these networks are using a hardware implementation of the IEEE 802.11 Wired Equivalent Privacy protocol (WEP) for security. With the known vulnerabilities in WEP, these organizations are faced with either a costly hardware upgrade or just ignoring the vulnerabilities. However, the Synchronized Pseudo Random Number Generation protocol (SPRiNG) is a proposed solution to securing wireless communication designed to work with existing WEP enabled hardware devices. Replacing networking components with hardware that implements other security measures such as the Wi-Fi Protected Access protocol (WPA) can be very costly. Therefore, a solution such as SPRiNG that can be implemented with a software or a firmware upgrade on existing WEP enabled hardware is desirable. Using simulation, this paper provides a performance analysis of the SPRiNG protocol's increased overhead. We determine that SPRiNG will perform acceptably with up to 20% more than normal network loss.

关键词： Wi-Fi

来源：评论

学校读者我要写书评

暂无评论

Wireless network simulation for army UAVs

Wireless network simulation for army UAVs

引用

Fall Simulation Interoperability Workshop 2007

作者： Hamilton Jr., John A. Box, Daniel Hamilton, Major Stephen S. Computer Science and Software Engineering Auburn University Auburn AL 36849 United States Electrical Engineering and Computer Science United States Military Academy West Point NY 10996 United States

ISBN: (纸本)9781622761449

Auburn University, through the Army's Aviation and Missile Research, Development and engineering Center (AMRDEC) has been supporting the Unmanned Systems Initiative program. The research program at Auburn is focused on designing new wireless systems to support UAV air and ground communications. Network simulation has been a key component of our research program. Specifically we have been working in three areas: - Use of commercial wireless technologies to provide secure, realtime video communication between UAV ground elements. - Assessment and evaluation of appropriate wireless security measures. - Development of a high fidelity modeling and simulation testbed to support the USI program. This paper will address the verification and validation of the simulation test bed. Comparisons of predicted simulation results against actual field testing will be discussed. Most importantly, we will address the challenges associated with high fidelity network simulation of NSA Type 1 crypto, video traffic and emerging COTS wireless protocols.

关键词： Unmanned aerial vehicles (UAV)

来源：评论

学校读者我要写书评

暂无评论

Validating a network simulation testbed for Army UAVS

Validating a network simulation testbed for Army UAVS

引用

2007 Winter Simulation Conference, WSC

作者： Hamilton, Stephen Schmoyer, Colonel Timothy Hamilton Jr., J. A. Drew Electrical Engineering and Computer Science United States Military Academy West Point NY 10996 United States Computer Science and Software Engineering Auburn University Auburn AL 36849 United States

ISBN: (纸本)1424413060

Auburn University, through the Army's Aviation and Missile Research, Development and engineering Center (AMRDEC) has been supporting the Unmanned Systems Initiative (USI) program in three research areas related to unmanned aerial vehicle (UAV). A major element in this work is the development of a high fidelity modeling and simulation testbed to support the USI program. This paper describes the testbed and the verification and validation of the testbed. © 2007 IEEE.

关键词： Testbeds

来源：评论

学校读者我要写书评

暂无评论

MHH: A novel protocol for mobility management in publish/subscribe systems

MHH: A novel protocol for mobility management in publish/sub...

引用

36th International Conference on Parallel Processing in Xi'an, ICPP

作者： Wang, Jinling Cao, Jiannong Li, Jing Wu, Jie Department of Computing Hong Kong Polytechnic University Institute of Software Chinese Academy of Sciences Department of Computer Science and Engineering Florida Atlantic University

ISBN: (纸本)076952933X

Mobility management is an important issue for publish/subscribe systems to support mobile clients. The objectives of mobility management for publish / subscribe are to achieve short handoff delay and low message overhead, while at the same time guaranteeing reliable message delivery. Although mobility management has been extensively studied, the indirect communication style of publish/subscribe systems brings new challenges in designing mobility management solutions. In this paper, we propose a reliable and high-performance mobility management protocol, called multi-hop handoff (MHH) protocol, which sufficiently meets the requirements of publish/subscribe systems. A prototype was implemented for the MHH protocol and experiments were performed to compare the performance of MHH with two representative existing protocols. The experimental results demonstrate the efficiency improvement made by the proposed MHH protocol over the existing protocols. © 2007 IEEE.

关键词： Message passing

来源：评论

学校读者我要写书评

暂无评论

An combination approach to tackling semantic conflicts based on RDF model

An combination approach to tackling semantic conflicts based...

引用

3rd International Conference on Semantics, Knowledge, and Grid, SKG 2007

作者： Ma, Yinglong Jin, Beihong School of Computer Science and Technology North China Electric Power University Beijing 102206 China Technology Center of Software Engineering Institute of Software Chinese Academy of Sciences P.O.Box 8718 Beijing 100080 China

ISBN: (纸本)0769530079

Within Semantic Web environments, ontologies have been adopted as their conceptual backbone. An important task for Web information integration and sharing is to resolve semantic conflicts because of semantic heterogeneity and information incompleteness. But it is rather difficult for ontology engineers to integrate Web information including semantic heterogeneity and conflicts. In this paper, a combined approach is proposed for detecting and handling semantic conflicts from ontology information. Using rule reasoning based on RDF model theory, we can automatically check where semantic conflicts probably exist, and further locate so called conflict points of ontology information. Then based on Bayesian network method, semantic conflicts can be controlled and avoided by computing semantic overlap and its posterior probabilities of concept nodes from conflict points. Users can issue semantic based query by interaction interface and achieve information sharing with conflicts and uncertainty. © 2007 IEEE.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

Perfect concurrent signature protocol

Perfect concurrent signature protocol

引用

SNPD 2007: 8th ACIS International Conference on software engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing

作者： Zhenjie, Huang Rufen, Huang Xuanzhi, Lin Department of Computer Science and Engineering Zhangzhou Normal University Fujian 363000 China State Key Laboratory of Information Security Institute of Software Chinese Academy of Sciences Beijing 100080 China

ISBN: (纸本)0769529097

The concept of concurrent signatures was introduced by Chen, Kudla and Paterson in their seminal paper in Eurocrypt 2004 which allows two entities to produce two signatures in such a way that, the signer of each signature is ambiguous from any third party's point of view until the release of a secret, known as the keystone. Once the keystone is released, both signatures become binding to their respective signers concurrently. Later, a stronger notion called perfect concurrent signatures with two concrete schemes was proposed by Susilo, Mu and Zhang. In perfect concurrent signatures, although both signers are known to be trustworthy, the two signatures are still ambiguous to any third party. Unfortunately, Susilo et al.'s schemes are unfair. In this paper, we first show that in their schemes the initial signer can cheat the matching signer by carefully choosing some communication value and then propose fair perfect concurrent signature protocol to fix our attacks. © 2007 IEEE.

关键词： Network protocols

来源：评论

学校读者我要写书评

暂无评论

Approach for runtime monitoring of WS-BPEL processes

引用

Tien Tzu Hsueh Pao/Acta Electronica Sinica 2007年第SUPPL. 2期36卷 174-178页

作者： Chen, Jin-Liang Wu, Guo-Quan Wei, Jun Technology Center of Software Engineering Institute of Software Chinese Academy of Sciences Beijing 100080 China Department of Computer Science and Technology University of Science and Technology of China Hefei 230026 China

As a service-based language, WS-BPEL is widely adopted into enterprise solutions. However, because of the intrinsic flexibility and dynamism of the web services it used, its behavior couldn't be foreseen until it is running, runtime monitoring is needed. The paper introduces an approach of dynamic monitoring of WS-BPEL processes. It uses Past Linear Temporal Language (PLTL) to describe monitor rules, with the support of Aspect Oriented Programming (AOP). This approach, which has been implemented on OnceBPEL, a BPEL engine designed by ISCAS, can be applied to runtime monitoring of WS-BPEL processes effectively.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

Slicing of component behavior specification with respect to their composition

Slicing of component behavior specification with respect to ...

引用

10th International ACM SIGSOFT Symposium on Component-Based software engineering, CBSE 2007

作者： Šerý, Ondřej Plašil, František Charles University in Prague Faculty of Mathematics And Physics Department of Software Engineering Malostranske namesti 25 118 00 Prague 1 Czech Republic Academy of Sciences of the Czech Republic Institute of Computer Science

ISBN: (纸本)9783540735502

Being an important means of reducing development costs, behavior specification of software components facilitates reuse of a component and even reuse of a component's architecture (assembly). However, since typically only a part of the components' functionality is actually used in the new context, a significant part of the behavior specification may be superfluous. As a result, it may be hard to see (and filter out) the actual interplay among the components in their behavior specification. This paper targets the problem in the scope of behavior protocols. It presents a technique for slicing behavior protocols with respect to a given context (composition), designed to remove the unused behavior from a behavior specification. The technique is based on a formal foundation, generic enough to support slicing with respect to a property expressed as a predicate. To demonstrate viability of the proposed approach, a positive experience with behavior specification slicing applied in real-life case study is shared with the reader (along with a short description of a prototype). © Springer-Verlag Berlin Heidelberg 2007.

关键词： software architecture

来源：评论

学校读者我要写书评

暂无评论

Validating a network simulation testbed for army UAVs

Validating a network simulation testbed for army UAVs

引用

Simulation Winter Conference

作者： Stephen Hamilton Timothy Schmoyer J. A. Hamilton Electrical Engineering & Computer Science United States Military Academy West Point NY USA Computer Science & Software Engineering Auburn University AL 36849 USA

Auburn University, through the Army's aviation and missile research, development and engineering center (AMRDEC) has been supporting the unmanned systems initiative (USI) program in three research areas related to unmanned aerial vehicle (UAV). A major element in this work is the development of a high fidelity modeling and simulation testbed to support the USI program. This paper describes the testbed and the verification and validation of the testbed.

关键词： Testing Unmanned aerial vehicles Base stations Power system modeling Computational modeling Cryptography Predictive models Cables computer science Receiving antennas

来源：评论

学校读者我要写书评

暂无评论

Pseudo trust: Zero-knowledge based authentication in anonymous peer-to-peer protocols

Pseudo trust: Zero-knowledge based authentication in anonymo...

引用

21st International Parallel and Distributed Processing Symposium, IPDPS 2007

作者： Lu, Li Han, Jinsong Hu, Lei Huai, Jinpeng Liu, Yunhao Ni, Lionel M. State Key Lab. of Information Security Graduate School Chinese Academy of Sciences Beijing China Dept. of Computer Science and Engineering Hong Kong University of Science and Technology Kowloon Hong Kong School of Computer Science Beihang University Beijing China State Key Lab. of Software Developing Environment Beihang University Beijing China

ISBN: (纸本)1424409101

Most of the current trust models in peer-to-peer (P2P) systems are identity based, which means that in order for one peer to trust another, it needs to know the other peer's identity. Hence, there exists an inherent tradeoff between trust and anonymity. To the best of our knowledge, there is currently no P2P protocol that provides complete mutual anonymity as well as authentication and trust management. We propose a zero-knowledge authentication scheme called Pseudo Trust (PT), where each peer, instead of using its real identity, generates an unforgeable and verifiable pseudonym using a one-way hash function. A novel authentication scheme based on Zero-Knowledge Proof is designed so peers can be authenticated without leaking any sensitive information. With the help of PT, most existing identity-based trust management schemes become applicable in mutual anonymous P2P systems. We analyze the levels of security and anonymity in PT, and evaluate its performance using trace-driven simulations and a prototype implementation. The strengths of Pseudo Trust include the lack of need for a centralized trusted party or CA, high scalability and security, low traffic and cryptography processing overheads, and man-in-middle attack resistance. We aim for the Pseudo Trust design to be included in the P2P trust and anonymity context. © 2007 IEEE.

关键词： Distributed computer systems

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：