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

9th EAI International Conference on Mobile Multimedia Communications, MOBIMEDIA 2016

作者： Xue, Nian Liang, Lulu Zhang, Jie Huang, Xin Department of Computer Science and Software Engineering Xi'an Jiaotong-Liverpool University China School of Electrical Engineering and Electronics and Computer Science University of Liverpool United Kingdom China Information Technology Security Evaluation Center China

Accompanied with accelerated development of the Internet of Things (IoT) and smart home industry, smart access control systems, e.g. smart locks, are getting popular in recent years. In this paper, we propose a smart access control system that allows users to enter buildings via mobile phones. Also, a protocol is designed to secure communications in the system. In addition, some investigation results regarding security and usability are found: (1) most people pay more attention to security in the access control system;(2) most people prefer using fingerprint as the primary unlocking mechanism. © 2016 EAI.

关键词： Access control

来源：评论

学校读者我要写书评

暂无评论

Infection tracing in smart hospitals 12

Infection tracing in smart hospitals

引用

12th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications, WiMob 2016

作者： Qathrady, Mimonah Al Helmy, Ahmed Almuzaini, Khalid Computer and Information Science and Engineering Department University of Florida GainesvilleFL United States National Center for Cyber Security Technology King Abdulaziz City for Science and Technology Riyadh Saudi Arabia

ISBN: (纸本)9781509007240

Many disease infection cases are acquired and spread in hospital settings. Early detection of such infection cases is necessary to identify population at risk accurately and effectively. This paper introduces a systematic infection detection framework utilizing mobile communication technologies including mobile networking and encounter statistics during infection breakouts. Our target environment is smart connected hospitals using Internet of things. First, the disease infection trace-back problem is defined. Then a detailed practical framework is devised using wireless encounters to facilitate the trace-back to the infection source and identify the population at risk;the nodes that are likely infected. Trace back and filtering methods are then proposed using probabilistic forward and backward search techniques. We use extensive WLAN campus traces of six buildings with different mobility characteristics and over 34K users to drive our simulations. Metrics of true positive, true negative, accuracy and coverage are measured and presented. Our results thus far show promise, where in most cases the accuracy of correctly selecting the infected nodes that have been in the area during the epidemic period were found to reach 70-80% with population selection coverage close to the infection percentage of nodes. © 2016 IEEE.

关键词： Hospitals

来源：评论

学校读者我要写书评

暂无评论

Model checking of IoT system in microgrid 8

Model checking of IoT system in microgrid

引用

8th International Conference on information Technology in Medicine and Education, ITME 2016

作者： Liang, Lulu Zheng, Kai Wei, Zilong Wang, Yanmei Wu, Sihan Huang, Xin China Information Technology Security Evaluation Center Xi'an Jiaotong-Liverpool University Suzhou China Department of Computer Science and Software Engineering Xi'an Jiaotong-Liverpool University Suzhou China

ISBN: (纸本)9781509039050

Due to the serious air pollution, the renewable energy sources had attracted more and more attention. In order to manage the renewable energy sources, the concept of microgrid is introduced. The IoT system can also be used in microgrid for the monitoring and control. However, how to verify the reliability of the system is still a problem. In this paper, the probabilistic model checking is used to verify the reliability of IoT system in microgrid. The results suggest the further improvement of IoT system in microgrid. © 2016 IEEE.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Person re-identification by camera correlation aware feature augmentation

arXiv

引用

arXiv 2017年

作者： Chen, Ying-Cong Zhu, Xiatian Zheng, Wei-Shi Lai, Jian-Huang School of Data and Computer Science Sun Yat-sen University Guangzhou510275 China Collaborative Innovation Center of High Performance Computing National University of Defense Technology Changsha410073 China Department of Computer Science and Engineering Chinese University of Hong Kong School of Electronic Engineering and Computer Science Queen Mary University of London United Kingdom Key Laboratory of Machine Intelligence and Advanced Computing Sun Yatsen University Ministry of Education China Guangdong Province Key Laboratory of Information Security China

The challenge of person re-identification (re-id) is to match individual images of the same person captured by different non-overlapping camera views against significant and unknown cross-view feature distortion. While a large number of distance metric/subspace learning models have been developed for re-id, the cross-view transformations they learned are view-generic and thus potentially less effective in quantifying the feature distortion inherent to each camera view. Learning view-specific feature transformations for re-id (i.e., view-specific re-id), an under-studied approach, becomes an alternative resort for this problem. In this work, we formulate a novel view-specific person re-identification framework from the feature augmentation point of view, called Camera coRrelation Aware Feature augmenTation (CRAFT). Specifically, CRAFT performs cross-view adaptation by automatically measuring camera correlation from cross-view visual data distribution and adaptively conducting feature augmentation to transform the original features into a new adaptive space. Through our augmentation framework, view-generic learning algorithms can be readily generalized to learn and optimize view-specific sub-models whilst simultaneously modelling view-generic discrimination information. Therefore, our framework not only inherits the strength of view-generic model learning but also provides an effective way to take into account view specific characteristics. Our CRAFT framework can be extended to jointly learn view-specific feature transformations for person re-id across a large network with more than two cameras, a largely under-investigated but realistic re-id setting. Additionally, we present a domain-generic deep person appearance representation which is designed particularly to be towards view invariant for facilitating cross-view adaptation by CRAFT. We conducted extensively comparative experiments to validate the superiority and advantages of our proposed framework over state-of

关键词： Cameras

来源：评论

学校读者我要写书评

暂无评论

Performance analysis of parallel replica molecular dynamics

引用

AIP Conference Proceedings 2018年第1期1978卷

作者： Boyao Zhang Jue Wang Yangde Feng Ji Xiang Lei Wang 1Computer Network Information Center Chinese Academy of Science Department of High Performance Computing Technology and Application Development Beijing China 2University of Chinese Academy of Sciences Beijing China 3State Key Laboratory of Information Security Institute of Information Engineering Chinese Academy of Sciences China 4School of cybersecurity Chinese Academy of Sciences China

Molecular dynamics simulation is an important tool for studying materials microstructure evolution under radiation effects. It is difficult to simulate atomic diffusion in materials owing to the time-scale limitations of the molecular dynamics method. Accelerated molecular dynamics has been developed as a solution and the parallel replica method is the simplest and most accurate of the accelerated dynamics techniques. The simulation time scale can reach several orders more than the direct molecular dynamics, while retaining the complete atomic detail. In parallel replica method, the entire system is replicated on each of M available parallel or distributed processors, it is in line with the characteristics of high-performance parallel computing and can be optimized from the program level.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Provable multiple replication data possession with full dynamics for secure cloud storage

Provable multiple replication data possession with full dyna...

引用

作者： Zhang, Yafang Ni, Jianbing Tao, Xiaoling Wang, Yong Yu, Yong Big Data Research Center School of Computer Science and Engineering University of Electronic Science and Technology of China Chengdu611731 China State Key Laboratory of Information Security Institute of Information Engineering Chinese Academy of Sciences Beijing100093 China Department of Electrical and Computer Engineering University of Waterloo WaterlooONN2L 3G1 Canada College of Information and Communication Guilin University of Electronic Technology Guilin541004 China Guangxi Cloud Security and Cloud Service Engineering Research Center Guilin University of Electronic Technology Guilin541004 China

Cloud storage has been gaining tremendous popularity among individuals and corporations because of its low maintenance cost and on-demand services for the clients. To improve the availability and the reliability of critical data, storing multiple replicas on multiple servers is a commonly used strategy. Currently, several provable data possession (PDP) protocols for multiple replicas of dynamic data have been proposed to ensure the integrity of outsourced multi-copy data, but the efficiency of these protocols on verifying multiple replicas one by one is not satisfactory. In this paper, we propose a provable multiple replication data possession protocol with full dynamics, named MR-DPDP. In MR-DPDP, we utilize a novel authenticated data structure called Merkle hash tree with rank to support both full dynamic data updates and efficient integrity verification. In addition, our construction with RSA signature can support both variable-sized file blocks and public verification. Through security proof and performance evaluation, we demonstrate that MR-DPDP not only is sound but also incurs less communication overhead when updating data blocks as well as verifying a proof of the integrity of multiple replicas. Copyright © 2015 John Wiley & Sons, Ltd.

关键词： Cloud storage

来源：评论

学校读者我要写书评

暂无评论

An Improved Community Detection Algorithm Based on DCT and K-Means

An Improved Community Detection Algorithm Based on DCT and K...

引用

2016 International Conference on Communications, information Management and Network security (CIMNS2016)

作者： Lin Li Kefeng Fan Jiezhong Gong Hao Peng Research Center of Information Security China Electronics Standardization Institute Department of Computer Science and Engineering Zhejiang Normal University

ISBN: (纸本)9781510830981

Detecting an overlapping and hierarchical community structure can give a significant insight into structural and functional properties in complex networks. In this paper, we propose an improved algorithm to detect communities in the complex network. The proposed algorithm use discrete cosine transform(DCT) to transfer the topology information into frequency domain, and reduce the dimension of frequency signal with a preliminary threshold, and at last cluster the nodes using K-means. Finally, we apply the proposed algorithm in the real and artificial networks. The simulation results show that the proposed algorithm can avoid curse of dimensionality and it is more accurate than some existing mechanisms.

关键词： community structure DCT kmeans curse of dimensionality

来源：评论

学校读者我要写书评

暂无评论

GB-RC4: Effective brute force attacks on RC4 algorithm using GPU 7

GB-RC4: Effective brute force attacks on RC4 algorithm using...

引用

7th International Green and Sustainable Computing Conference, IGSC 2016

作者： Xue, Pei Li, Tao Dong, Han Liu, Chunbo Ma, Wenjing Pei, Songwen College of Computer and Control Engineering Nankai University Tianjin300071 China Information Security Evaluation Center Civil Aviation University of China Tianjin300300 China Laboratory of Parallel Software and Computational Science State Key Laboratory of Computing Science Institute of Software CAS Beijing China Shanghai Key Lab of Modern Optical Systems Department of Computer Science and Engineering University of Shanghai for Science and Technology Shanghai200093 China

ISBN: (纸本)9781509051175

Encryption algorithms are applied to a variety of fields and the security of encryption algorithms depends heavily on the computational infeasibility of exhaustive key-space search. RC4 algorithm has an extensive application for stream encryption, however, the disadvantages of traditional RC4 serial algorithm are large computational quantity and slow computation speed, which means a great challenge for throughput of computing system. Graphics processors recently have been widely used as accelerators for high throughput computing. In this paper, GPU is used to improve the efficiency and performance of attacking RC4 algorithm. First, we revised RC4 algorithm to make it easier to parallelize on a GPU. Then we take advantage of constant memory and shared memory in GPU to search the key space of RC4 algorithm efficiently. Besides, we solved the bank conflict problem in shared memory to further improve the performance. Our approach was evaluated in the whole key space of 40-bit, and the results show it can complete searching of the whole key space within 12.8 hours. © 2016 IEEE.

关键词： Graphics processing unit

来源：评论

学校读者我要写书评

暂无评论

An Access Control System for Intelligent Buildings 16

An Access Control System for Intelligent Buildings

引用

Proceedings of the 9th EAI International Conference on Mobile Multimedia Communications

作者： Nian Xue Lulu Liang Jie Zhang Xin Huang Department of Computer Science and Software Engineering Xi'an Jiaotong-Liverpool University China and School of Electrical Engineering and Electronics and Computer Science University of Liverpool UK China Information Technology Security Evaluation Center Department of Computer Science and Software Engineering Xi'an Jiaotong-Liverpool University China

ISBN: (纸本)9781631901041

Accompanied with accelerated development of the Internet of Things (IoT) and smart home industry, smart access control systems, e.g. smart locks, are getting popular in recent years. In this paper, we propose a smart access control system that allows users to enter buildings via mobile phones. Also, a protocol is designed to secure communications in the system. In addition, some investigation results regarding security and usability are found: (1) most people pay more attention to security in the access control system; (2) most people prefer using fingerprint as the primary unlocking mechanism.

关键词： Intelligent building Access control security

来源：评论

学校读者我要写书评

暂无评论

Complexity analysis and comparison of test paths based on DSE

Complexity analysis and comparison of test paths based on DS...

引用

ACIS International Conference on Software engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD)

作者： Jiawen Lu Lizhi Cai Yang Zhang Keyi Hong Laboratory of Computer Software Testing & Evaluation Shanghai Development Center of Computer Software Technology Shanghai China School of Information Science & Engineering East China University of Science and Technology Shanghai China Cyber Security Department of Shanghai Public Security Bureau Shanghai China

Dynamic symbolic execution (DSE) is a well-known program test technology which can generate test cases automatically through collecting constraints of the paths represented by symbolic value. Automated test based on DSE targets at covering all paths and branches in a limited time. Although DSE has been investigated for a few years, several challenges still exist which hinder the actual usage. Path explosion is one of the greatest challenges to solve, which decreases the test performance. Analyzing complexity of the execution paths of different test programs, and investigating the factors associated with the test efficiency become very important in the software testing life cycle.

关键词： Concrete Gold

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：