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

International Conference on Multimedia Information Networking and Security (MINES)

作者： Xinlei Yao Jianmin Pang Yichi Zhang Yong Yu Jianping Lu National Digital Switching System Engineering and Technological R&D Center Zhengzhou China

Control flow obfuscation is an important way of software copyright protection, the main purpose is to make the static analysis tools produce wrong control flow graph, and then prevent malicious use of reverse engineering against software. In this paper we ropose an approach to implement control flow obfuscation using Windows structured exception handling mechanism. Programs are obfuscated by replacing branch instructions with exception code and inserting fake branch instruction after the exception code. Furthermore, exception code random technology is used to improve the resilience of the obfuscated code. Experimental results show that disassemble tools fail to identify 56.7% control flow of the obfuscated code, and have a misunderstanding of 40% control flow. The increase in program size and execute time of the obfuscated code is also modest.

关键词： registers Context Security Engines resilience Instruction sets Prototypes

来源：评论

学校读者我要写书评

暂无评论

Analysis on Security Issues for Mobile P2P Networks

Analysis on Security Issues for Mobile P2P Networks

引用

International Conference on Wireless Communications, Networking and Mobile Computing (WiCom)

作者： Hong-Bo Tang Zhi-Xing Yang Long Chen National Digital Switching System Engineering & Technological R&D Center Zhengzhou China

With the development of wireless access technology and mobile computing, mobile P2P networks are supposed to thrive in file-sharing, streaming media, electronic commerce and other applications. However, due to the concepts of decentralization and multi-hop transmission, mobile P2P networks are suffering from attacks launched by malicious members. Aiming at guarding MP2P networks, this paper analyzes the challenges and attacks for MP2P networks, and gives possible countermeasures to defend the threats. Also, current reputation systems are discussed in detail, including potential threats they are facing with and so on. Furthermore, considerations on how to construct robust reputation systems are given.

关键词： Peer-to-peer computing Mobile communication Mobile computing Computer crime Internet robustness

来源：评论

学校读者我要写书评

暂无评论

research on detection technique for C2HTH based on model checking

引用

International Journal of Advancements in Computing technology 2012年第23期4卷 814-820页

作者： Gao, Hongbo Li, Qingbao Wang, Wei Zhu, Yu China National Digital Switching System Engineering and Technological R and D Center China

Code-Controlled Hardware Trojan horse is an important kind of hardware Trojan horse and may be existent in various electronic equipments. It is necessary and imperative to detect this kind of Trojan horse. In this paper we firstly study characteristics of Code-Controlled Hardware Trojan horse. Then model checking, a kind of formalization method, is primarily researched to detect Code-Controlled Hardware Trojan horse. To detect Code-Controlled hardware Trojan horses effectively, we investigate published detection techniques for hardware Trojan horses and point out their deficiencies. Finally we present a new special detection approach combined with model checking and reverse-engineering. Experiments indicate that the new detection approach is effective to detect Code-Controlled Hardware Trojan horse.

关键词： reverse engineering

来源：评论

学校读者我要写书评

暂无评论

research on Parallel Symbolic Execution through Program dependence Analysis

Research on Parallel Symbolic Execution through Program Depe...

引用

2012 Fifth International Symposium on Computational Intelligence and design [第五届计算智能与设计国际会议 ISCId 2012]

作者： Yan Cao Qiang Wei Qingxian Wang National Digital Switching System Engineering &Technological R&D Center NDSC Zhengzhou China

Through program dependence analysis, the method of parallel symbolic execution based on reduction about program execution path family was proposed. Firstly, instruction statements which affect on the symbolic value were extracted according to data dependency. Then the key branch conditions controlling these statements were located and connected. Thus the reduction algorithm from multiple paths of which symbolic values are all the same to path families was was designed and implemented. Finally, path family chain was built and parallel symbolic execution was realized. The experimental results show that the method promotes parallel processing ability and test efficiency, compared with common parallel scheduling policy of allocating program execution path.

关键词： symbolic execution paraltelization program dependence path family

来源：评论

学校读者我要写书评

暂无评论

The Method for Parallel Approach to Sensitive Point Based on dynamic Symbolic Execution

The Method for Parallel Approach to Sensitive Point Based on...

引用

International Conference on Computational Intelligence and Security

作者： Yan Cao Qiang Wei Qingxian Wang National Digital Switching System Engineering &Technological R&D Center NDSC Zhengzhou China

In order to improve the efficiency of symbolic execution in software vulnerability detection, we propose the sensitive point oriented test method for parallel approach in the paper. Static analysis is used for identification and location of sensitive points. Then based on dynamic symbolic execution, the algorithm of parallel approach to sensitive point is designed, in order to select for the preferential path and realize iterative approach test. Moreover, we present search algorithm of test cases to reuse forward information and reduce communication redundancy. Finally, the experiment results verify the improvement of symbolic execution efficiency and effectiveness of exception detection.

关键词： Computational intelligence Security

来源：评论

学校读者我要写书评

暂无评论

A Load Balanced differentiated Services Support CICQ Switch

A Load Balanced Differentiated Services Support CICQ Switch

引用

第三届数字制造与自动化国际会议

作者： Hongchao Hu Zhihui Xu National Digital Switching System Engineering & Technological R&D Center 95168 troops PLA

How to provide quality of service (QoS) guar- antees in routing and switching systems has become one of the key research topics in the areas of routing and switching technologies. differentiated services architecture (diffServ) is known as a promising way for supporting QoS in a high-speed backbone network scenario. However, the measurement indexes for realtime multimedia traffic, which plays very important roles in next generation internet, are not so clearly defined. In this paper, a new service architecture called SOQG (Service Orient QoS Guarantees) aiming at providing QoS guarantees for multimedia traffic is first proposed. SOQG classifies the internet traffic into five classes: EF, JCC, BCG-H, BCG-L and BE. Then, Based on this architecture, we propose a new switch called load balanced differentiated universal service support switch (LBdU). LBdU consists of three modules: BCU (Bandwidth Control Unit), LBS (Load Balanced Scheduling) and XOS ( Cross-point Output Scheduling). We evaluate LBdU by comprehensive simulations. As expected, LBdU can provide delay and bandwidth guarantees for both EF and JCC traffic.

关键词： CICQ Load Balanced diffServ Jitter

来源：评论

学校读者我要写书评

暂无评论

A Load Balanced differentiated Services Support CICQ Switch

A Load Balanced Differentiated Services Support CICQ Switch

引用

International Conference on digital Manufacturing and Automation (ICdMA)

作者： Hongchao Hu Zhihui Xu National Digital Switching System Engineering & Technological R&D Center Zhengzhou China Guangdong China

How to provide quality of service (QoS) guarantees in routing and switching systems has become one of the key research topics in the areas of routing and switching technologies. differentiated services architecture (diffServ) is known as a promising way for supporting QoS in a high-speed backbone network scenario. However, the measurement indexes for realtime multimedia traffic, which plays very important roles in next generation internet, are not so clearly defined. In this paper, a new service architecture called SOQG (Service Orient QoS Guarantees) aiming at providing QoS guarantees for multimedia traffic is first proposed. SOQG classifies the internet traffic into five classes: EF, JCC, BCG-H, BCG-L and BE. Then, Based on this architecture, we propose a new switch called load balanced differentiated universal service support switch (LBdU). LBdU consists of three modules: BCU (Bandwidth Control Unit), LBS (Load Balanced Scheduling) and XOS ( Cross-point Output Scheduling). We evaluate LBdU by comprehensive simulations. As expected, LBdU can provide delay and bandwidth guarantees for both EF and JCC traffic.

关键词： Switches delay Bandwidth Jitter Quality of service Computer architecture Internet

来源：评论

学校读者我要写书评

暂无评论

A Logic-Based Safety Analysis Algorithm for discretionary Access Control

A Logic-Based Safety Analysis Algorithm for Discretionary Ac...

引用

第六届中国可信计算与信息安全学术会议

作者： YAN Xuexiong WANG Qingxian ZHU Junhu XI Qi National Digital Switching System Engineering and Technological R&D Center Zhengzhou 450002HenanChina

For the issue of the discretionary access control (dAC) model safety analysis,a logic method is *** method takes the Gd model as the classic dAC model and Prolog as the basic language to describe system states and state transfer rules.A general program based on this logic method is proposed for dAC safety analysis,but this program may never be terminal for some safety analysis *** safety analysis algorithm is achieved by simplifying the general program according to the property of the dAC model state transfer *** safety analysis algorithm is easier to understand and implement than the previous algorithms and its time complexity is O(N+M+T),in which N,M,and T are the numbers of the rights with copy flag,the policies for right transferring,and the policies for right permitting,respectively.

关键词： discretionary access control (dAC) safety analysis logic state transfer

来源：评论

学校读者我要写书评

暂无评论

The research on SLP Optimization Technique towards dSP

The Research on SLP Optimization Technique towards DSP

引用

The Eleventh International Symposium on distributed Computing and Applications to Business,engineering and Science(dCABES2012)(第十一届分布式计算及其应用国际学术研讨会)(原名:电子商务、工程及科学领域的分布式计算和应用国际学术研讨会)

作者： Weiyi Suo rongcai Zhao Yuan Yao Peng Liu National Digital Switching System Engineering & Technological R&D Center Zhengzhou Henan 450002China

According to the application of Superword Level Paralleism (SLP) auto-vectorization compiling system in digital Signal Processing(dSP),due to the specialized functions of dSP frame,such as the specific addressing model,a wide variety of registers,irregular data branch,the obstacle of dependence relation to vectorization non-aligned data or other reasons,which resulted in the compiler can not support SIMd auto-vectorization with the feature of *** order to solve this problem,the SLP auto-vectorization method was studied towards dSP *** on the specialized functions of dSP frame,the instruction analysis and optimization algorithm in SLP auto-vectorization were improved,so as to transform more high-efficiency source *** experimental results show that the optimization method of this paper has a tremendous role on improving dSP performances and reducing power consumption.

关键词： SIMd dSP Auto-vectorization redundancy optimization Instruction analysis

来源：评论

学校读者我要写书评

暂无评论

A load balanced differentiated services support CICQ switch

A load balanced differentiated services support CICQ switch

引用

2012 3rd International Conference on digital Manufacturing and Automation, ICdMA 2012

作者： Hu, Hongchao Xu, Zhihui National Digital Switching System Engineering and Technological R and D Center No.7 Jianxue St. Wenhua Rd. Zhengzhou 450002 China 95168 Troops PLA No.934 Guangzhou Rd Guangdong 510620 China

ISBN: (纸本)9780769547725

关键词： Jitter

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：