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

6th International Conference on Communication and Network Security, ICCNS 2016

作者： Chang, Rui Jiang, Liehui Yin, Qing Ren, Lu Liu, Qingfeng State Key Laboratory of Mathematic Engineering and Advanced Computing Zhengzhou450001 China China National Digital Switching System Engineering Technological Research Center Zhengzhou450001 China

ISBN: (纸本)9781450347839

In the universal Android system, each application runs in its own sandbox, and the permission mechanism is used to enforce access control to the system APIs and applications. However, permission leak could happen when an application without certain permission illegally gain access to protected resources through other privileged applications. In order to address permission leak in a trusted execution environment, this paper designs security architecture which contains sandbox module, middleware module, usage and access control module, and proposes an effective usage and access control scheme that can prevent permission leak in a trusted execution environment. Security architecture based on the scheme has been implemented on an ARM-Android platform, and the evaluation of the proposed scheme demonstrates its effectiveness in mitigating permission leak vulnerabilities. © 2016 ACM.

关键词： Access control

来源：评论

学校读者我要写书评

暂无评论

Static Detection of Execution After Redirect Vulnerabilities in PHP Applications

Static Detection of Execution After Redirect Vulnerabilities...

引用

2016 IEEE 7th International Conference on Software engineering and Service Science

作者： Chuansen Chai Xuexiong Yan Qingxian Wang Shukai Liu State Key Laboratory of Mathematical Engineering and Advanced Computing

In recent years,modern web applications are becoming more and more complex and it makes difficult for developers to audit the *** number of attacks against these applications has increased *** detection techniques for web applications are badly in *** after execution(EAR) vulnerability is a kind of logic flaws for web *** allows the server-side execution continuing after the intended halting *** may result in serious consequences such as information *** this paper,we propose a path-sensitive inter-procedural analysis to detect EAR vulnerabilities in PHP web *** analysis improves the traditional detection method by verifying the path conditions and considers more details which may influence the false-positive *** have shown how our approach can handle situations where other existing tools may fail by some real-world examples.

关键词： sialic analysis path sensitive EAR php

来源：评论

学校读者我要写书评

暂无评论

Implementation of Positive Operator-Valued Measure in Passive Faraday Mirror Attack

引用

Communications in Theoretical Physics 2015年第3期63卷 296-302页

作者：王卫龙高明马智 State Key Laboratory of Mathematical Engineering and Advanced Computing

Passive Faraday-mirror(PFM) attack is based on imperfect Faraday mirrors in practical quantum cryptography systems and a set of three-dimensional Positive Operator-Valued Measure(POVM) operators plays an important role in this *** this paper,we propose a simple scheme to implement the POVM in PFM attack on an FaradayMichelson quantum cryptography *** the POVM can not be implemented directly with previous methods,in this scheme it needs to expand the states sent by Alice and the POVM operators in the attack into four-dimensional Hilbert space first,without changing the attacking effect by *** on the methods proposed by Ahnert and Payne,the linear-optical setup for implementing the POVM operators is *** last,the complete setup for realizing the PFM attack is presented with all ***,our scheme can also be applied to realize PFM attack on a plug-and-play system by changing the parameters in the setup.

关键词： Faraday mirrors passive Faraday mirror attack POVM linear optics

来源：评论

学校读者我要写书评

暂无评论

Floating Point Optimization Based on Binary Translation System QEMU

Floating Point Optimization Based on Binary Translation Syst...

引用

2016 2nd Workshop on advanced Research and Technology in Industry Applications(WARTIA 2016)

作者： Qiang Shi Rongcai Zhao State Key Laboratory of Mathematical Engineering and Advanced Computing

Binary translation system,a technique for translating executable binary program,could transform the code operating on a system structure into the command of another system ***,in multi-source translation system,the efficiency in floating point instruction translation realized by relying on software is not *** floating point computation capacity is the important indicator of computer *** taking SW processor as the target platform,translation algorithm for floating point optimization based on QEMU translation system is put *** mainly includes the following two stages:firstly,the content of identifying floating point computation invoking helper function,the number obtaining parameter and returned value,data type information;secondly,the floating point operation of changing into local floating point operation and reduce the redundant floating points according to the standard of *** to the experiment of NPB test set,it manifests that the average speed-up ratio of floating point optimization algorithm can reach 30%.

关键词： Binary Translation QEMU Float Point Instruction Optimization

来源：评论

学校读者我要写书评

暂无评论

A Brief Survey of Specification Inference in Static Program Analysis

A Brief Survey of Specification Inference in Static Program ...

引用

2016 2nd International Conference on Advances in Mechanical engineering and Industrial Informatics(AMEII 2016)

作者： Chuansen Chai Xuexiong Yan Qingxian Wang Shukai Liu Yajing Sun Shuai Yi State Key Laboratory of Mathematical Engineering and Advanced Computing

ISBN: (纸本)9781510823808

Nowadays,many applications are too big to keep their own *** analysis is a technique which can be used for ensure the safety of large ***,frequent calls to libraries and frameworks bring a lot of difficulties to the *** propose the specification inference to solve the *** survey the recent advances in specification inference techniques and divide them into three groups by the methods they adopt which are domain specific language(DSL),data mining and abductive inference,*** we take a detailed look at the representative results in each *** is our hope that we can see more creative achievements in this field by doing this work.

关键词： Survey Specification Inference Static Analysis

来源：评论

学校读者我要写书评

暂无评论

Video behavior recognition based on locally compressive sensing

引用

Qinghua Daxue Xuebao/Journal of Tsinghua University 2018年第6期58卷 581-586页

作者： Wang, Wenfeng Chen, Xi Wang, Haiyang Peng, Wei Qian, Jing Zheng, Hongwei State Key Laboratory of Desert and Oasis Ecology Xinjiang Institute of Ecology and Geography Chinese Academy of Sciences Urumqi830011 China Institute of Computing Technology Chinese Academy of Sciences Beijing100190 China School of Information Science and Engineering Xiamen University Xiamen361005 China Shenzhen Institutes of Advanced Technology Chinese Academy of Sciences Shenzhen518055 China

Compressive sensing has been successfully applied in the field of target tracking but not for behavior recognition. This paper presents a locally compressive sensing algorithm for behavior analysis which combines compressive tracking and centroid localization for recognition of video object behavior. Local compressive sensing selects a behavior-sensitive area for compressive tracking which characterizes target behavior based on classification of the object trajectory and local centroid velocity. Tests show that locally compressive sensing can accurately recognize global behavior such as running and falling and local behavior such as smiles and blinking. Therefore, the locally compressive sensing method is of great value that can be used for video surveillance and behavior recognition. © 2018, Tsinghua University Press. All right reserved.

关键词： Target tracking

来源：评论

学校读者我要写书评

暂无评论

Cooperative computing Techniques for a Deeply Fused and Heterogeneous Many-Core Processor Architecture

引用

Journal of Computer Science & Technology 2015年第1期30卷 145-162页

作者：郑方李宏亮吕晖过锋许晓红谢向辉 State Key Laboratory of Mathematical Engineering and Advanced Computing Wuxi 214125 China

Due to advances in semiconductor techniques, many-core processors have been widely used in high performance computing. However, many applications still cannot be carried out efficiently due to the memory wall, which has become a bottleneck in many-core processors. In this paper, we present a novel heterogeneous many-core processor architecture named deeply fused many-core （DFMC） for high performance computing systems. DFMC integrates management processing ele- ments （MPEs） and computing processing elements （CPEs）, which are heterogeneous processor cores for different application features with a unified ISA （instruction set architecture）, a unified execution model, and share-memory that supports cache coherence. The DFMC processor can alleviate the memory wall problem by combining a series of cooperative computing techniques of CPEs, such as multi-pattern data stream transfer, efficient register-level communication mechanism, and fast hardware synchronization technique. These techniques are able to improve on-chip data reuse and optimize memory access performance. This paper illustrates an implementation of a full system prototype based on FPGA with four MPEs and 256 CPEs. Our experimental results show that the effect of the cooperative computing techniques of CPEs is significant, with DGEMM （double-precision matrix multiplication） achieving an efficiency of 94%, FFT （fast Fourier transform） obtaining a performance of 207 GFLOPS and FDTD （finite-difference time-domain） obtaining a performance of 27 GFLOPS.

关键词： heterogeneous many-core processor data stream transfer register-level communication mechanism hardwaresynchronization technique processor prototype

来源：评论

学校读者我要写书评

暂无评论

Rapid detection of stego images based on identifiable features 18

Rapid detection of stego images based on identifiable featur...

引用

18th International Conference on advanced Communications Technology, ICACT 2016

作者： Pang, Weiwei Luo, Xiangyang Ren, Jie Yang, Chunfang Liu, Fenlin State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou450001 China Zhengzhou Science and Technology Institute Zhengzhou450001 China Science and Technology on Information Assurance Laboratory Beijing100072 China

ISBN: (纸本)9788996865063

An increasing number of images in the Internet brings forward a higher requirement on the speed of steganalysis. For the problem of real-time detection of stego images, a rapid images steganalysis method based on identifiable features is proposed, where the identifiable features are specific character sequences left in stego images by steganography tools. The stego and cover images are distinguished according to whether the identifiable features are found in the detected images. Meanwhile, for the case of that multiple identifiable features appeared on the same location of an image, the AC (Aho-Corasick) multi-features matching algorithm is applied to improve the detection speed. In experiments, the detection method is used to detect eight steganography tools such as Invisible Secrets, E-Show, BMP Secrets and so on. The results show that the proposed steganalysis method can achieve a nearly perfect detection precision, and the detection speed can be improved significantly comparing with traditional methods (matching bytes one by one). © 2016 Global IT Research Institute (GiRI).

关键词： Steganography

来源：评论

学校读者我要写书评

暂无评论

Formalization of the Access Control on ARM-Android Platform with the B Method

引用

Journal of Physics: Conference Series 2017年第1期933卷

作者： Lu Ren Wei Wang Xiaodong Zhu Yujia Man Qing Yin State Key Laboratory of Mathematic Engineering and Advanced Computing Zhengzhou China 450001

ARM-Android is a widespread mobile platform with multi-layer access control mechanisms, security-critical in the system. Many access control vulnerabilities still exist due to the course-grained policy and numerous engineering defects, which have been widely studied. However, few researches focus on the mechanism formalization, including the Android permission framework, kernel process management and hardware isolation. This paper first develops a comprehensive formal access control model on the ARM-Android platform using the B method, from the Android middleware to hardware layer. All the model specifications are type checked and proved to be well-defined, with 75%of proof obligations demonstrated automatically. The results show that the proposed B model is feasible to specify and verify access control schemes in the ARM-Android system, and capable of implementing a practical control module.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Joint product numerical range and geometry of reduced density matrices

引用

Science China(Physics,Mechanics & Astronomy) 2017年第2期60卷 9-17页

作者： Jianxin Chen Cheng Guo Zhengfeng Ji Yiu-Tung Poon Nengkun YU Bei Zeng Jie Zhou Joint Center for Quantum Information and Computer Science University of Maryland College Park 20740 USA Institute for Advanced Study Tsinghua University Beijing 100084 China Centre for Quantum Computation ＆ Intelligent Systems School of Software Faculty of Engineering and Information Technology University of Technology Sydney Sydney 2007 Australia State Key Laboratory of Computer Science.Institute of Software Chinese Academy of Sciences Beijing 100084 China Department of Mathematics Iowa State University Ames 50011-2140 USA Institute for Quantum Computing University of Waterloo Waterloo N2L 3G1 Canada Department of Mathematics ＆ Statistics University of Guelph Guelph N1G 2 W1 Canada Perimeter Institute for Theoretical Physics Waterloo N2L 2Y5 Canada

The reduced density matrices of a many-body quantum system form a convex set, whose three-dimensional projection is convex in R3. The boundary of may exhibit nontrivial geometry, in particular ruled surfaces. Two physical mechanisms are known for the origins of ruled surfaces： symmetry breaking and gapless. In this work, we study the emergence of ruled surfaces for systems with local Hamiltonians in infinite spatial dimension, where the reduced density matrices are known to be separable as a consequence of the quantum de Finetti＇s theorem. This allows us to identify the reduced density matrix geometry with joint product numerical range II of the Hamiltonian interaction terms. We focus on the case where the interaction terms have certain structures, such that a ruled surface emerges naturally when taking a convex hull of ∏. We show that, a ruled surface on sitting in ∏ has a gapless origin, otherwise it has a symmetry breaking origin. As an example, we demonstrate that a famous ruled surface, known as the oloid, is a possible shape of , with two boundary pieces of symmetry breaking origin separated by two gapless lines.

关键词： reduced density matrices quantum tomography numerical range quantum information oloid ruled surface

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：