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

ChanDet: Detection Model for Potential Channel of iOS Applications

Journal of Physics: Conference Series 2019年第4期1187卷

作者： GuoMiao Zhou Ming Duan Qi Xi Hao Wu State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou Henan 450000 China

Despite providing iOS the security, comfortable, powerful mobile operating system, Apple has too many restrictions. Many users prefer to jailbreaking the iOS by using jailbreaking tool, which allows them to do more unavailable things on their devices. This behaviour may cause risks toward applications and many researches have focused on application security in various aspects. We find that a legal application (we call it potential channel hereafter) can be hijacked and it acts as a channel between the malware in device and the remote control terminal. In this paper, we introduce a channel model based on five conditions after analysing the entire operation procedure and comparing the similarities and differences of various applications. To approve our argument, we show iOS Messages which meets the five conditions, and demonstrate how to intercept messages, that means, a legal application can be hijacked and become a channel. To eliminate the risks, we propose a solution ChanDet and describe how to test whether an application is a potential channel or not. Finally, we give some protection strategies for applications, and we expect that ChanDet will play a significant role in application security of iOS.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Intelligent identification of two-dimensional nanostructures by machine-learning optical microscopy

引用

Nano Research 2018年第12期11卷 6316-6324页

作者： Xiaoyang Lin Zhizhong Si Wenzhi Fu Jianlei Yang Side Guo Yuan Cao Jin Zhang Xinhe Wang Peng Liu Kaili Jiang Weisheng Zhao Fert Beijing Research Institute School ofMicroelectronics & Beijing Advanced Innovation Center for Big Data and Brain Computing (BDBC)Beihang UniversityBeijing 100191China Beihang-GoertekJoint Microelectronics Institute Qingdao Research InstituteBeihang UniversityQingdao 266000China Fert Beijing Research Institute School of Computer Science and Engineering & Beijing Advanced Innovation Center for Big Data and Brain Computing (BDBC)Beihang UniversityBeijing 100191China State Key Laboratory of Low-Dimensional Quantum Physics Department of Physics & Tsinghua-Foxconn Nanotechnology Research CenterCollaborative Innovation Center of Quantum MatterTsinghua UniversityBeijing 100084China

Two-dimensional (2D) materials and their heterostructures, with wafer-scale synthesis methods and fascinating properties, have attracted significant interest and triggered revolutions in corresponding device applications. However, facile methods to realize accurate, intelligent, and large-area characterizations of these 2D nanostructures are still highly desired. Herein, we report the successful application of machine-learning strategy in the optical identification of 2D nanostructures. The machine-learning optical identification (MOI) method endows optical microscopy with intelligent insight into the characteristic color information of 2D nanostructures in the optical photograph. The experimental results indicate that the MOI method enables accurate, intelligent, and large-area characterizations of graphene, molybdenum disulfide, and their heterostructures, including identifications of the thickness, existence of impurities, and even stacking order. With the convergence of artificial intelligence and nanoscience, this intelligent identification method can certainly promote fundamental research and wafer-scale device applications of 2D nanostructures.

关键词： machine-learning optical identification two-dimensional (2D) material heterostructure artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

Simulation of Passenger Evacuation of High-speed Train Cars

Simulation of Passenger Evacuation of High-speed Train Cars

引用

Fire Science and Fire Protection engineering (ICFSFPE), Conference on

作者： Shenshi Huang Ruichao Wei Kai Shi Jinxing Hu Shouxiang Lu Liping Lian Institute of Advanced Computing and Digital Engineering Shenzhen Institute of Advanced Technology Chinese Academy of Science Shenzhen China Institute of Advanced Materials Science and Engineering Shenzhen Institute of Advanced Technology Chinese Academy of Science Shenzhen China The Smart City Research Institute of China Electronics Technology Group Corporation Shenzhen China State Key Laboratory of Fire Science University of Science and Technology of China Hefei China School of Urban Planning and Design Peking University Shenzhen China

ISBN: (数字)9781728153223

ISBN: (纸本)9781728153230

This study is to evaluate the passenger evacuation of the high-speed train. Geometry was built up based on current Chinese train type CRH380B, and scenarios were designed according to the current emergency response plans. Simulation runs were performed by Pathfinder and uncertainty of evacuation time was obtained. It is observed that the passenger flow rates in train coaches are generally stable. Passenger transfer time and evacuation time are approximately proportional to passenger attendance rate. However, in some complicated scenarios, it is found that the process of passenger transfer affects the evacuation results a lot. Reasonable passenger transfer scale can maximize the effectiveness of emergency plans. This study provides an evaluation method on the topic of train car evacuation, and future work can be carried out to optimize the design of emergency response.

关键词： passenger evacuation high-speed train monteCarlo simulation high-speed train Evacuation passengers Evacuation Time evaluation method Educational attendance simulating Cars

来源：评论

学校读者我要写书评

暂无评论

Path Sensitive Static Analysis of Taint-Style Vulnerabilities in PHP Code 17

Path Sensitive Static Analysis of Taint-Style Vulnerabilitie...

引用

2017 17th IEEE International Conference on Communication Technology (ICCT 2017)

作者： Xue-Xiong Yan Qing-Xian Wang Heng-Tai Ma Institute of Software Chinese Academy of Sciences State Key Laboratory of Mathematical Engineering and Advanced Computing

ISBN: (纸本)9781509039456;9781509039449

this paper presents a novel path-sensitive static analysis method for detecting taint-style vulnerabilities in PHP code. The new method includes three key, the first of which is path searching during a basic block, the second is path searching between blocks, and the third is path searching crossing function call. A tool name POSE implements the new method and the testing results show the method is valid for taint-style vulnerabilities in PHP code.

关键词： path-sensitive PHP taint-style vulnerability POSE

来源：评论

学校读者我要写书评

暂无评论

HTTP Tunnel Trojan Detection Model Based on Deep Learning

引用

Journal of Physics: Conference Series 2019年第4期1187卷

作者： Yubo He Yuefei Zhu Wei Lin State Key Laboratory of Mathematical Engineering and Advanced Computing Information Engineering University Zhengzhou450001 China

Aiming at reducing the high False Negative rate of the existing Trojan horse detection method based on behavior, this paper utilized the sequence characteristics of tunnel Trojan communication extracted from the transport layer and the bi-directional recurrent neural network in deep learning to build a HTTP tunnel Trojan detection model. The experimental result showed that the deep learning-based detection model reduced the false positive rate of normal network traffic and improved the Trojan detection rate. We also found that the deep learning-based detection model reduced the feature selecting and data cleaning process of generating samples and improved the easy-using of the HTTP tunnel Trojan detection model.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Photocurrent imaging of multi-memristive charge density wave switching in two-dimensional 1T-TaS2

arXiv

引用

arXiv 2020年

作者： Patel, Tarun Okamoto, Junichi Dekker, Tina Yang, Bowen Gao, Jingjing Luo, Xuan Lu, Wenjian Sun, Yuping Tsen, Adam W. Institute for Quantum Computing Department of Physics and Astronomy Department of Electrical and Computer Engineering Department of Chemistry University of Waterloo WaterlooONN2L 3G1 Canada Institute of Physics University of Freiburg FreiburgD-79104 Germany Key Laboratory of Materials Physics Institute of Solid State Physics Chinese Academy of Sciences Hefei230031 China University of Science and Technology of China Hefei230026 China High Magnetic Field Laboratory Chinese Academy of Sciences Hefei230031 China Collaborative Innovation Centre of Advanced Microstructures Nanjing University Nanjing210093 China

Transport studies of atomically thin 1T-TaS2 have demonstrated the presence of intermediate resistance states across the nearly commensurate (NC) to commensurate (C) charge density wave (CDW) transition, which can be further switched electrically. While this presents exciting opportunities for the material in memristor applications, the switching mechanism has remained elusive and could be potentially attributed to the formation of inhomogeneous C and NC domains across the 1T-TaS2 flake. Here, we present simultaneous electrical driving and scanning photocurrent imaging of CDWs in ultrathin 1T-TaS2 using a vertical heterostructure geometry. While micron-sized CDW domains form upon changing temperature, electrically driven transitions result in largely uniform changes, indicating that states of intermediate resistance for the latter likely correspond to true metastable CDW states in between the NC and C phases, which we then explain by a free energy analysis. Additionally, we are able to perform repeatable and bidirectional switching across the multiple CDW states without changing sample temperature, demonstrating that atomically thin 1T-TaS2 can be further used as a robust and reversible multi-memristor material. Copyright © 2020, The Authors. All rights reserved.

关键词： Memristors

来源：评论

学校读者我要写书评

暂无评论

A compact construction for non-monotonic online/offline CP-ABE scheme 10th

A compact construction for non-monotonic online/offline CP-A...

引用

10th International Conference on Security, Privacy and Anonymity in Computation, Communication and Storage, SpaCCS 2017

作者： Zhang, Junqi Cheng, Qingfeng Wei, Fushan Zhang, Xinglong State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou450001 China

ISBN: (纸本)9783319723945

Nowadays the mobile devices are becoming the necessities in our life, while they are generally resource-constrained, CP-ABE schemes designed for mobile devices should have the property of low computational complexity, therefore Online/Offline mechanism has prospect future in cryptographic mechanism. In this paper, we attempt to construct an unbounded Online/Offline CP-ABE scheme based on a non-monotonic access structure. During the offline phase, most of the computations for encryption are done;during the online phase, we transform the non-monotonic access structure with positive attribute sets into a monotonic access structure which is based on the LSSS access structure with positive and negative attribute sets, then it only needs a small amount of addition and multiplication operations for the rest components of encryption. Compared with the original non-monotonic CP-ABE scheme, our scheme remains the same on the public keys and the master secret keys, with only a small increase in computational complexity. The computational complexity during online phase is very small. © Springer International Publishing AG 2017.

关键词： Computational complexity

来源：评论

学校读者我要写书评

暂无评论

Efficient and secure authentication scheme based on certificateless aggregate signature in space networks 7

Efficient and secure authentication scheme based on certific...

引用

2017 7th International Workshop on Computer Science and engineering, WCSE 2017

作者： Hu, Zhiyan Du, Xuehui Cao, Lifeng State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou450001 China

ISBN: (纸本)9789811136719

According to the requirements of the space networks for computing cost, communication cost and security, a new efficient certificateless aggregate signature algorithm is proposed. The signature length is only 2 group elements, the verification stage requires only 3 pairing operations, and the algorithm is proved secure based on the computational Diffie-Hellman problem under the random oracle model. Compared with the other similar algorithm, this algorithm achieves higher security with higher efficiency and lower cost of communication. Then according to the signature algorithm proposed in this paper, an authentication scheme with the function of mutual authentication, aggregate authentication and group key agreement is presented. The analysis results show that the scheme is secure and efficient, especially suitable for the large-scale space networks.

关键词： Authentication

来源：评论

学校读者我要写书评

暂无评论

A formal android permission model based on the B method 10th

A formal android permission model based on the B method

引用

10th International Conference on Security, Privacy and Anonymity in Computation, Communication and Storage, SpaCCS 2017

作者： Ren, Lu Chang, Rui Yin, Qing Man, Yujia State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou450001 China

ISBN: (纸本)9783319723884

The rapid development of Android devices brings the increase of security requirements, especially for access control. Recently, many enhancements have been put forward towards the Android permission mechanism. However, few researches focus on the formalization and verification of security schemes. In this paper, we propose a formal Android permission model based on the B method, describing mechanism specifications and proving security properties. All model components are type checked by AtelierB, with 87% (154 out of 178) of generated proof obligations proved yet. The model is fully animated and checked by ProB. The results show that all specifications are well-defined without any deadlock and invariant violation. The proposed B model is for not only security analysis, but also system animation and extension. It presents a feasible approach to specify and verify the security scheme in the embedded system, which is able to translate into executable codes and implement practical module as well. © 2017, Springer International Publishing AG.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

MemNetAR: Memory Network with Adversative Relation for Target-Level Sentiment Classification

MemNetAR: Memory Network with Adversative Relation for Targe...

引用

2019 IEEE Global Communications Conference (GLOBECOM)

作者： Yiwei Gao Jianwei Niu Xuefeng Liu Kaili Mao Shui Yu State Key Laboratory of Virtual Reality Technology and Systems School of Computer Science and Engineering Beihang University Beijing China Beijing Advanced Innovation Center for Big Data and Brain Computing (BDBC) Beihang University Hangzhou Innovation Research Institute Beihang University School of Computer Science and Cyber Engineering Guangzhou University Guangdong China

ISBN: (数字)9781728109626

ISBN: (纸本)9781728109633

Target-level sentiment classification aims to identify the sentiment of multiple targets in a sentence. Although existing approaches based on neural network have achieved good performance in this task, we find that many approaches tend to give the same predictions for instances that have multiple targets, and this tendency can make a low accuracy for those instances that have different classes for different targets. Based on this observation, we propose MemNetAR, a memory network which can explicitly leverage the adversative relation among multiple targets in a sentence. Specifically, we add an adversative loss to the cross-entropy loss when there are adversative words between targets. The experimental results on public laptop and restaurant datasets prove that our model can improve 0.84% and 0.8% on total test dataset, and improve 2.97% and 2.68% on the dataset consisting of those instances with multiple targets but different classes by leveraging this new adversative information.

关键词： Task analysis Feature extraction Sentiment analysis Portable computers Machine learning Training Predictive models

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：