检索结果-南通市图书馆

A multi-Flow Information Flow Tracking Approach for Proving Quantitative Hardware Security Properties

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Tsinghua Science and Technology 2021年第1期26卷 62-71页

作者： Yu Tai Wei Hu Lu Zhang dejun mu Ryan Kastner the School of Cybersecurity Northwestern Polytechnical UniversityXi'an 710072China the School of Automation Northwestern Polytechnical UniversityXi'an 710072China the Department of Computer Science and Engineering University of CaliforniaSan DiegoCA 92093USA

Information Flow Tracking(IFT)is an established formal method for proving security properties related to confidentiality,integrity,and *** has seen promise in identifying security vulnerabilities resulting from design flaws,timing channels,and hardware Trojans for secure hardware ***,existing IFT methods tend to take a qualitative approach and only enforce binary security properties,requiring strict non-interference for the properties to hold while real systems usually allow a small amount of information flows to enable desirable ***,existing methods are inadequate for reasoning about quantitative security properties or measuring the security of a design in order to assess the severity of a security *** this work,we propose two multi-flow solutions—multiple verifications for replicating existing IFT model and multi-flow IFT *** proposed multi-flow IFT method provides more insight into simultaneous information flow behaviors and allows for proof of quantitative information flow security properties,such as diffusion,randomization,and boundaries on the amount of simultaneous information *** results show that our method can be used to prove a new type of information flow security property with verification performance benefits.

关键词： hardware security Information Flow Tracking(IFT) multi-flow IFT security property

Attribute-based keyword search encryption for power data protection

在线全文

学校读者我要写书评

暂无评论

High-Confidence Computing 2023年第2期3卷 32-39页

作者： Xun Zhang dejun mu Jinxiong Zhao School of Cybersecurity Northwestern Polytechnical UniversityXi’an 710072China Research&Development Institute of Northwestern Polytechnical University in Shenzhen Shenzhen 518057China

To protect the privacy of power data,we usually encrypt data before outsourcing it to the cloud ***,it is challenging to search over the encrypted *** addition,we need to ensure that only authorized users can retrieve the power *** attribute-based searchable encryption is an advanced technology to solve these ***,many existing schemes do not support large universe,expressive access policies,and hidden access *** this paper,we propose an attributebased keyword search encryption scheme for power data ***,our proposed scheme can support encrypted data retrieval and achieve fine-grained access *** authorized users whose attributes satisfy the access policies can search and decrypt the encrypted ***,to satisfy the requirement in the power grid environment,the proposed scheme can support large attribute universe and hidden access *** access policy in this scheme does not leak private information about ***,the security analysis and performance analysis indicate that our scheme is efficient and ***,the comparisons with other schemes demonstrate the advantages of our proposed scheme.

关键词： Attribute-based encryption Searchable encryption Keyword search Power grid data

Learning multi Labels from Single Label——An Extreme Weak Label Learning Algorithm

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Wuhan University Journal of Natural Sciences 2019年第2期24卷 161-168页

作者： DUAN Junhong LI Xiaoyu mu dejun Shenzhen Research Institute Northwestern Polytechnical University

This paper presents a novel algorithm for an extreme form of weak label learning, in which only one of all relevant labels is given for each training sample. Using genetic algorithm, all of the labels in the training set are optimally divided into several non-overlapping groups to maximize the label distinguishability in every group. multiple classifiers are trained separately and ensembled for label predictions. Experimental results show significant improvement over previous weak label learning algorithms.

关键词： weak-supervised learning genetic algorithm multi-label classification

Novel Mobility Formula for Parallel Mechanisms Expressed with Mobility of General Link Group

在线全文

学校读者我要写书评

暂无评论

Chinese Journal of Mechanical Engineering 2013年第6期26卷 1082-1090页

作者： ZHANG Yitong LU Wenjuan mu dejun YANG Yandong ZHANG Lijie ZENG Daxing Key Laboratory of Parallel Robot and Mechatronic System Yanshan University Key Laboratory of Advanced Forging & Stamping Technology and Science Yanshan University

The determination of virtual constraints is always one of the key and difficult problems in traditional mobility calculation. To make mobility calculation simple, considering avoiding virtual constraints, some new formulae have been presented, however these formulae can hardly intuitively reflect general link group＇s restrictions on output member and its influences on independence of output parameters, which is premise to the judgment of the properties of mobility. Towards the problem to reveal the intrinsic relationship between the degree of freedom（DOF） of a mechanism, the link group, and the dimension of output parameters, also to avoid determination of virtual constraint, based on the new concepts of the ＂DOF of general link group＂ and ＂node parameters＂, a new formula in the calculation of the mobility of mechanisms is presented that is expressed with DOFs of the general link groups and rank of motion parameters of base point of the output link. It is named GOM（mobility of groups and output parameter） formula. On the basis of new concepts of＂effective parameters＂ and ＂invalid parameters＂, a rule is put forward for solving the DOF of mechanisms with invalid parameters by GOM formula, that is, the base point parameters are the subset of effective parameters of link group. Thereafter, several examples are enumerated and the results coincide with the prototype data, which proves the validity of the proposed formula. Meanwhile, it is obtained that the necessary and sufficient condition for the judgment of output parameters independence is that each of the DOF of the link group is not less than zero. The proposed formula which is simple in calculation provides theoretical basis for the judgment of independence of output parameters and provides references for type synthesis of novel parallel mechanisms with independence requirements of their output parameters.

关键词： parallel mechanism degree of freedom general link group output parameters

Visual target tracking based on multi-view feature fusion with online multiple instance learning 36

在线全文

学校读者我要写书评

暂无评论

Visual target tracking based on multi-view feature fusion wi...

New concept and new theory of mobility calculation for multi-loop mechanisms

第36届中国控制会议

作者： Weixin Hua dejun mu Dawei Guo Hang Liu School of Automation Northwestern Polytechnical University Company of Shaanxi China Mobile Limited

ISBN: (纸本)9781538629185

The tracking methods under the online multiple instance learning（MIL） framework always use single channel’s information or transform the RGB image to gray image for color video tracking,which may cause the information loss of the color *** addition,the MIL tracker only use the haar-like feature to construct the target appearance and ignore the different samples have different importance to the tracking results,which is argued to susceptible to interference with complex ***,this paper presents an online visual target tracking method based on multi-view feature fusion with joint online multiple instances learning to overcome the disadvantages of the MIL ***,we extract the color histogram feature and haar-like features to construct the two type ***,we compute the bag probability by summing the instance probability in the process of updating the classifiers and construct the strong ***,the object location is achieved by fusing the two type strong *** experimental results show that the proposed method performs better than several other tracking methods like IVT,MIL,OAB and WMIL trackers with smaller central position error on challenging color video sequences.

关键词： target tracking multi-view feature fusion multiple instance learning bag probability classifier

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

Science China(Technological Sciences) 2010年第6期53卷 1598-1604页

作者： ZHANG YiTong & mu dejun Mechanical Engineering College of Yanshan University,Qinhuangdao 066004,China Mechanical Engineering College of Yanshan University Qinhuangdao China

In 2005,Gogu,a Frenchman,analyzed 35 different existing formulas for mobility calculation and pointed that the formulas for quick mobility calculation had some limitations and were not ***,looking for a general and simple mobility formula is still a hot topic in *** the meantime,it is also an important topic to complete the mechanism *** proposed a new method that can avoid determining virtual constraints in 2008,but the method is still not *** solve the problem,this paper defines the new concepts of link-group rank,general-kinematic-pair rank,virtual pair,virtual loop,and virtual-loop rank,and gives a new simple and general *** method converts multi-loop mechanisms into some independent virtual loops,simplifies the problem,avoids calculating virtual constraints,and reduces the calculation *** is proved that the new formula is simple,general and effective through the mobility analysis of several different kinds of *** application of this formula will provide great convenience for general engineers in mobility calculation.

关键词： multi-loop mechanism mobility general kinematic pair virtual loop

GPU-accelerated phase field simulation of directional solidification

在线全文

学校读者我要写书评

暂无评论

Science China(Technological Sciences) 2014年第6期57卷 1191-1197页

作者： GAO Ang HU YanSu WANG ZhiJun mu dejun LI JunJie WANG JinCheng School of Electronics and Information Northwestern Polytechnical University School of Automation Northwestern Polytechnical University State Key Laboratory of Solidification Processing Northwestern Polytechnical University

The phase field simulation has been actively studied as a powerful method to investigate the microstructural evolution during the ***,it is a great challenge to perform the phase field simulation in large length and time *** developed graphics processing unit(GPU)calculation is used in the phase filed simulation,greatly accelerating the calculation *** results show that the computation with GPU is about 36 times faster than that with a single Central Processing Unit(CPU)*** provides the feasibility of the GPU-accelerated phase field simulation on a desktop *** GPU-accelerated strategy will bring a new opportunity to the application of phase field simulation.

关键词： phase field simulation directional solidification graphics processing unit(GPU) acceleration computer unified device architecture(CUDA) speed-up ratio

Preventing Dropping Packets Attack in Sensor Networks:A Game Theory Approach

在线全文

学校读者我要写书评

暂无评论

Wuhan University Journal of Natural Sciences 2008年第5期13卷 631-635页

作者： YANG Libin mu dejun CAI Xiaoyan College of Automation Northwestern Polytechnical UniversityXi＇an 710072 Shaanxi China

Focusing on dropping packets attacks in sensor networks, we propose a model of dropping packets attack-resistance as a repeated game based on such an assumption that sensor nodes are rational. The model prevents malicious nodes from attacking by establishing punishment mechanism, and impels sensor networks to reach a collaborative Nash equilibrium. Simulation results show that the devised model can effectively resist the dropping packets attacks（DPA） by choosing reasonable configuration parameters.

关键词： wireless sensor network repeated game Nash equilibrium attack-resistant mechanism

Using Combinational Logic Function to Watermark IP Based on FPGA

在线全文

学校读者我要写书评

暂无评论

Wuhan University Journal of Natural Sciences 2006年第6期11卷 1679-1682页

作者： MIAO Sheng DAI Guanzhong mu dejun LI Meifeng College of Automation Northwestern Polytechnical University Xi＇an 710072 Shaanxi China

In the field of digital circuit design, the extensive applications of reusable intellectual property （IP） simplify the design procedure based on very large scale field programmable gate array （FPGA）, and shorten the time to market （TTM）. However, the flexibility of reusable IP makes itself easy to be stolen and illegally distributed by intruders. The protection method proposed in this paper maps IP owner＇s signature to combinational logic functions, and then implements these functions into unused lookup tables （LUTs） in the design based on FPGA, which can be used as a strong proof of IPs ownership. The related experiment results show that this protection method has favorable characteristics such as low overhead, few effects on performance, and high security.

关键词： field programmable gate array watermark intellectual property