检索结果-南通市图书馆

Detecting feature interactions in Web services with model checking techniques

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

The Journal of china Universities of posts and telecommunications 2007年第3期14卷 108-112页

作者： ZHANG Jian-yin,YANG Fang-chun,SU Sen state key laboratory of networking and switching technology,beijing university of posts and telecommunications,beijing 100876,china [a]state key laboratory of networking and switching technology beijing university of posts and telecommunications beijing 100876 china

As a platform-independent software system,a Web service is designed to offer interoperability among diverse and heterogeneous *** the introduction of service composition in the Web service creation,various message interactions among the atomic services result in a problem resembling the feature interaction problem in the telecommunication *** article defines the problem as feature interaction in Web services and proposes a model checking-based detection *** the method,the Web service description is translated to the Promela language-the input language of the model checker simple promela interpreter(SPIN),and the specific properties,expressed as linear temporal logic (LTL) formulas,are formulated according to our classifi-cation of feature ***,SPIN is used to check these specific properties to detect the feature interaction in Web services.

关键词： feature interactions web services model checking detection

Secure network coding in the presence of eavesdroppers

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china(Information Sciences) 2010年第3期53卷 648-658页

作者： LUO MingXing1,2,3, YANG YiXian1,2,3, WANG LiCheng1,2,3 & NIU XinXin1,2,3 1Information Security Center, state key laboratory of networking and switching technology, beijing university of posts and telecommunications, beijing 100876, china 2key laboratory of Network and Information Attack and Defence technology of MOE, beijing university of posts and telecommunications, beijing 100876, china 3National Engineering laboratory for Disaster Backup and Recovery, beijing university of posts and telecommunications, beijing 100876, china 1. Information Security Center State Key Laboratory of Networking and Switching Technology Beijing University of Posts and Telecommunications Beijing 100876 China2. Key Laboratory of Network and Information Attack and Defence Technology of MOE Beijing University of Posts and Telecommunications Beijing 100876 China3. National Engineering Laboratory for Disaster Backup and Recovery Beijing University of Posts and Telecommunications Beijing 100876 China

Our concern, in the paper, is to construct information-theoretic secure network coding in the presence of eavesdroppers. Based on the generalized attack model and all-or-nothing transformation, the security of network coding in the generalized combination network can be characterized by the network capacity and the min-cut bound of wiretapping set from the source. Furthermore, it can be extended to any directed acyclic networks with single source. Compared with the traditional results, we construct information-theoretic secure network coding without additional encryptions and giving up any capacity.

关键词： all-or-nothing transformation secure network coding eavesdropping

An efficient quantum secret sharing protocol with orthogonal product states

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china(Physics,Mechanics & Astronomy) 2007年第3期50卷 331-338页

作者： YANG YuGuang1,2, WEN QiaoYan3 & ZHU FuChen4 1 School of Computer, beijing university of technology, beijing 100022, china 2 state key laboratory of Information Security, Graduate university of Chinese Academy of Sciences, beijing 100022, china 3 School of Science, beijing university of posts and telecommunications, beijing 100876, china 4 National key laboratory for Modern communications, Chengdu 610041, china 1. School of Computer Beijing University of Technology Beijing 100022 China 2. state key laboratory of Information Security Graduate University of Chinese Academy of Sciences Beijing 100022 China 3. School of Science Beijing University of Posts and Telecommunications Beijing 100876 China 4. National key laboratory for Modern communications Chengdu 610041 China

An efficient quantum secret sharing protocol with orthogonal product states in the 33 Hilbert space is presented. The particles in the orthogonal product states form two particle sequences. One sequence is sent to Bob and the other is sent to Charlie after rearranging the particle orders. With the help of Alice, Bob and Charlie make the corresponding local measurement to obtain the information of the or- thogonal product states prepared. This protocol has many distinct features such as great capacity and high efficiency.

关键词： quantum secret sharing orthogonal product state orthogonal measurement

Quasi-secure quantum dialogue using single photons

在线全文

学校读者我要写书评

暂无评论

Science china(Physics,Mechanics & Astronomy) 2007年第5期50卷 558-562页

作者： YANG YuGuang1,2 & WEN QiaoYan31 College of Computer Science and technology, beijing university of technology, beijing 100022, china 2 state key laboratory of Information Security, Graduate university of the Chinese Academy of Sciences, beijing 100049, china 3 School of Science, beijing university of posts and telecommunications, beijing 100876, china College of Computer Science technology Beijing University of Technology Beijing 100022 China state key laboratory of Information Security Graduate University of the Chinese Academy of Sciences Beijing 100049 China School of Science Beijing University of Posts telecommunications Beijing 100876 China

A quasi-secure quantum dialogue protocol using single photons was proposed. Different from the previous entanglement-based protocols, the present protocol uses batches of single photons which run back and forth between the two parties. A round run for each photon makes the two parties each obtain a classical bit of information. So the efficiency of information transmission can be increased. The present scheme is practical and well within the present-day technology.

关键词： quantum dialogue, single photon, quantum secure direct communication

Threshold quantum secure direct communication without entanglement

在线全文

学校读者我要写书评

暂无评论

Science china(Physics,Mechanics & Astronomy) 2008年第2期51卷 176-183页

作者： YANG YuGuang1,3 & WEN QiaoYan2 1 College of Computer Science and technology, beijing university of technology, beijing 100022, china 2 School of Science, beijing university of posts and telecommunications, beijing 100876, china 3 state key laboratory of Information Security (Graduate School of Chinese Academy of Sciences), beijing 100049, china 1. College of Computer Science and technology Beijing University of Technology Beijing 100022 China 3. state key laboratory of Information Security (Graduate School of Chinese Academy of Sciences) Beijing 100049 China 2. School of Science Beijing University of Posts and Telecommunications Beijing 100876 China

For the first time, a threshold quantum secure direct communication (TQSDC) scheme is presented. Similar to the classical Shamir's secret sharing scheme, the sender makes n shares, S1, …, Sn of secret key K and each receiver keeps a share secretly. If the sender wants to send a secret message M to the receivers, he en-codes the information of K and M on a single photon sequence and sends it to one of the receivers. According to the secret shares, the t receivers sequentially per-form the corresponding unitary operations on the single photon sequence and ob-tain the secret message M. The shared shares may be reusable if it can be judged that there is no eavesdropper in line. We discuss that our protocol is feasible with current technology.

关键词： quantum secure direct communication threshold secure direct communication quantum secret sharing

Generalized quantum state sharing of the arbitrary two particles state

在线全文

学校读者我要写书评

暂无评论

Science china(Physics,Mechanics & Astronomy) 2010年第11期53卷 2064-2068页

作者： WANG Chuan 1,2,ZHANG Yong 1,2 & JIN GuangSheng 1,2 1 School of Science,beijing university of posts and telecommunications,beijing 100876,china 2 key laboratory of Optical Communication and Lightwave Technologies,beijing university of posts and telecommunications,beijing 100876,china 1. School of Science Beijing University of Posts and Telecommunications Beijing 100876 China2. Key Laboratory of Optical Communication and Lightwave Technologies Beijing University of Posts and Telecommunications Beijing 100876 China

This paper has proposed a generalized quantum state sharing protocol of an arbitrary two-particle state using non-maximally GHZ states and generalized Bell state *** sender Alice performs two-particle generalized Bell state measurements on her two particles in the state sharing process and the controller takes measurements on his particles and transfers the quantum information to the receiver with entanglement swapping by the cooperation of the other *** is found that the use of nonmaximally entangled state in quantum state sharing has enabled the secure sharing of the quantum state.

关键词： quantum state sharing quantum entanglement arbitrary two particles state

Decoding algorithms for shortened-extended turbo product codes in WiMAX systems

在线全文

学校读者我要写书评

暂无评论

Science in china(Series F) 2009年第12期52卷 2415-2423页

作者： XU ChangLong1,3,4, YANG Wei1,2 & YE WeiChen4 1 state key laboratory of networking and switching technology, beijing university of posts and telecommunications, beijing 100044, china 2 state key laboratory of Rail Traffic Control and Safety, beijing Jiaotong university, beijing 100044, china 3 National Mobile communications Research laboratory, Southeast university, Nanjing 210096, china 4 Intel Corporation, beijing Kerry Center, Guanghua Road 1, beijing 100020, china state key laboratory of networking and switching technology Beijing University of Posts and Telecommunications Beijing 100044 China state key laboratory of Rail Traffic Control and Safety Beijing Jiaotong University Beijing 100044 China National Mobile communications Research laboratory Southeast University Nanjing 210096 China Intel Corporation Beijing Kerry Center Guanghua Road 1 Beijing 100020 China

The component codes of turbo product codes in WiMAX systems are extended Hamming codes and single parity check codes as well as their shortened forms, In this paper, three novel iterative decoding algorithms based on Chase, MAP algorithms and their combination are proposed for shortened-extended turbo product codes. The iterative decoding algorithm based on Chase algorithm is proposed to reduce the decoding complexity without any performance loss. An efficient MAP algorithm is then proposed to decode the component codes of shortened single parity check codes and shortened-extended Hamming codes. A comprehensive performance comparison of the proposed decoding schemes is conducted for three typical classes of turbo product codes in WiMAX OFDMA systems. The suitable decoding algorithms are recommended for different classes based on the simulation results.

关键词： block code product code iterative decoding

Cross layer scheduling for real-time traffic in multiuser MIMO-OFDMA systems

在线全文

学校读者我要写书评

暂无评论

The Journal of china Universities of posts and telecommunications 2009年第3期16卷 24-29页

作者： SUN Qiao-yun,TIAN Hui,DONG Kun,ZHANG Ping key laboratory of Universal Wireless communications,Ministry of Education,beijing university of posts and telecommunications,beijing 100876,china [a]key laboratory of Universal Wireless communications Ministry of Education beijing university of posts and telecommunications beijing 100876 china

A novel cross layer scheduling algorithm is proposed for real-time （RT） traffic in multiuser downlink multiple-input multiple-output orthogonal frequency division multiple access （MIMO-OFDMA） wireless systems. The algorithm dynamically allocates resources in space, time and frequency domain based on channel state information （CSI）, users＇ quality of service （QoS） requirements and queue state information （QSI）. To provide higher data rate and spectrum efficiency, adaptive modulation and coding （AMC） is employed. The proposed algorithm can improve cell throughput and increase the number of users that can be supported while guaranteeing users＇ QoS requirements and fairness among all users. Simulation results indicate that the proposed algorithm can achieve superior performance.

关键词： MIMO-OFDMA cross layer QoS AMC

A Sensor-Service Collaboration Approach for Target Tracking in Wireless Camera Networks

在线全文

学校读者我要写书评

暂无评论

china communications 2017年第7期14卷 44-56页

作者： Shuai Zhao Le Yu state key laboratory of networking and switching technology Beijing University of Posts and Telecommunications china Mobile Information Security Center

Mobile target tracking is a necessary function of some emerging application domains, such as virtual reality, smart home and intelligent healthcare. However, existing portable devices for target tracking are resource intensive and high-cost. Camera tracking is an effective location tracking way for those emerging applications which can reuse the existing ubiquitous video monitoring system. This paper proposes a dynamic community-based camera collaboration(D3C) framework for target location and tracking. The contributions of D3C mainly include that(1) nonlinear perspective projection model is selected as the camera sensing model and sequential Monte Carlo is employed to predict the target location;(2) a dynamic collaboration scheme is proposed, it is based on the local community-detection theory deriving from social network analysis. The performance of proposed approach is validated by both synthetic datasets and real-world application. The experiment results show that D3C meets the versatility, real-time and fault tolerance requirements of target tracking applications.

关键词： service collaboration camera tracking community detection sequential monte carlo