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

Enhance information Flow Tracking with Function Recognition

China Communications 2010年第6期7卷 24-29页

作者： Zhou Kan Huang Shiqiu Huang Shan Qi Zhengwei Gu Jian Guan Haibing School of software Shanghai Jliao Tong University Shanghai 200240 P. R. China Key Lab of Information Network Security Ministry of Public Security Department of Computer Science ＆ Engineering Shanghai Jiao Tong University Shanghai 200240 P. R China Shanghai Key Laboratory of Scalable Computing ＆ System Shanghai P. R. China

With the spread use of the computers, a new crime space and method are presented for criminals. Thus computer evidence plays a key part in criminal cases. Traditional computer evidence searches require that the computer specialists know what is stored in the given computer. Binary-based information flow tracking which concerns the changes of control flow is an effective way to analyze the behavior of a program. The existing systems ignore the modifications of the data flow, which may be also a malicious behavior. Thus the function recognition is introduced to improve the information flow tracking. Function recognition is a helpful technique recognizing the function body from the software binary to analyze the binary code. And that no false positive and no false negative in our experiments strongly proves that our approach is effective.

关键词： function recognition information flow tracking program behavior e-evidence.

来源：评论

学校读者我要写书评

暂无评论

Chain of trust testing based on model checking

Chain of trust testing based on model checking

引用

2nd International Conference on Networks security, Wireless Communications and Trusted Computing, NSWCTC 2010

作者： He, Fan Zhang, Huanguo Wang, Hong Xu, Mingdi Yan, Fei College of Computer Wuhan University Wuhan Hubei 430072 China College of Computer Wuhan University of Technology WuhanHubei430063 China Key Laboratory of Aerospace Information Security and Trust Computing Ministry of Education Wuhan 430072 China Department of Government Procurement WuhanHubei 430071 China

ISBN: (纸本)9780769540115

Trusted computing and chain of trust are the very mechanisms to solve the security problems of information system. A chain of trust is established by validating each component of hardware and software from the bottom up. There is an urgent need to test the chain of trust according to the specification of TC to ensure its security. This paper presents a test method on chain of trust by model checking. The purpose is to confirm that the measurements stored and reported by the platform configuration register can successfully discriminate a normal boot sequence from an insecure one. As a result, our test shows that the chain of trust on some popular trusted computing platforms don't meet the specifications of Trusted Computing Group. © 2010 IEEE.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Efficient online trace building using code replication

Efficient online trace building using code replication

引用

International Conference on Grid and Cloud Computing

作者： Deng, Haipeng Chen, Kai Liu, Bo He, Yunchao Zhou, Kan Yang, Yindong Liang, Alei Guan, Haibing School of Software Shanghai Jiao Tong University China Department of Computer Science and Engineering Shanghai Jiao Tong University China School of Information Security Engineering Shanghai Jiao Tong University China Shanghai Key Laboratory of Scalable Computing and Systems China

ISBN: (纸本)9780769543130

Hot trace building plays an important role in enhancing the performance of dynamic binary translators, since in most cases 10% of code takes 90% of execution time of the whole program. Hot traces can promote the code position to make better the locality of the code;therefore programs can achieve a better performance. Thus how to build qualified and long hot traces is the key point. Considering the situation when one single basic block is needed by more than two hot traces, code replication can help build hot traces with cost of expansion of code size. In this paper, a code replication method to help with building hot traces as well as code positioning is presented, and experiments have been done to evaluate the details of changes that code replication brings to the system, like trace fragment length, memory size expansion, etc. With this method, a performance promotion by 0.5%-3.5% against the original trace building method has been achieved. © 2010 IEEE.

关键词： Virtual machine

来源：评论

学校读者我要写书评

暂无评论

Analyzing and Correlating security Events Using State Machine

Analyzing and Correlating Security Events Using State Machin...

引用

International Conference on computer and information technology (CIT)

作者： Feng Xuewei Wang Dongxia Zeng Jiemei Ma Guoqing Li Jin National Key Laboratory of Science and Technology on Information System Security Beijing Institute Beijing China Beijing Aerospace Control Center Beijing China

It is unfeasible to analyze the security events by the manual way for the security manager, because the number of the events is huge and the information contained in the events is meaningless. After analyzing the existing algorithms of security events correlation, we propose an attack scenario reconstruction technology based on state machine. The processes of attackers intruding into the cyberspace can be restored and the more comprehensive attack scenario description information will be generated using this technology. This working lets the security manager more comfy. The state machine based attack scenario reconstruction technology processes security events using clustering analysis and causal analysis concurrently, it builds a correlation state machine in memory for every attack scenario tree which is predefined by the security manager, when security events are coming, the certain state machines will process them, if the condition is satisfied, an attack scenario description information will be generated and then sent to the security manager. The correlating technology based on state machine is more timely and accurately, and at last, we use the DARPA2000 Intrusion Scenario Specific Data Sets to validate the technology, the experiment results show that it is feasible to analyze security events using the technology we proposed.

关键词： Correlation Cyberspace computer crime Engines XML Protocols

来源：评论

学校读者我要写书评

暂无评论

A logic-based frame for knowledge reasoning in real-time security analysis

A logic-based frame for knowledge reasoning in real-time sec...

引用

2010 IEEE International Conference on Software Engineering and Service sciences, ICSESS 2010

作者： Li, Chaoming Wang, Kenwen Department of Computer Science Sun Yat-Sen University Guang Zhou China Key Laboratory of High Confidence Software Technologies Peking University Ministry of Education Beijing China Department of Information Technology Griffith University Brisbane Australia

ISBN: (纸本)9781424460526

Continuous time Markov chains (CTMCs) have been used in real-time dependability and security analysis. However, existing approaches assume that the system is fully observable to a system attacker, which is not feasible for current large network systems. In this paper, we present a frame to model and specify the knowledge of attacker with partial observations. Firstly, we combine CTMCs and interpretation system as basic model. Then, a logic is defined to specify the knowledge for agents in the stochastic model. Further, we discuss the properties under different assumption for the model and agent. Finally, we present the model checking algorithms with a particular assumption and apply the frame to model the knowledge of attacker in intrusion-tolerant system. © 2010 IEEE.

关键词： Stochastic models

来源：评论

学校读者我要写书评

暂无评论

Dynamic modeling and tracking control of fuel filled space robotic system with flexible manipulators

Dynamic modeling and tracking control of fuel filled space r...

引用

International Symposium on systems and Control in Aerospace and Astronautics (ISSCAA)

作者： Xinxin Yang Xiong Luo Fuchun Sun Fengge Wu Huaping Liu School of Information Engineering Key Laboratory of Advanced Control of Iron and Steel Process (Ministry of Education) University of Science and Technology Beijing Beijing China State Key Laboratory of Intelligent Technology and System Department of Computer Science and TechnologyTsinghua National Laboratory for Information Science and Technology Tsinghua University Beijing China

In recent years, dynamics model and control of space robot system are the hot topics in the research field. In this paper, a new dynamics model and control strategy of space robotic system with a flexible manipulator and a liquid fuel tank are investigated. Based on Lagrange equation method, the dynamics model of the space robotic system coupling with liquid sloshing, flexibility vibration and base movement is derived. The elastic deflection of the flexible manipulator is described by the assumed mode method and equivalent mechanical model is adopted instead of liquid sloshing under the environment of low-gravity. The inverse dynamics control algorithm combined with PD control method is performed to solve the trajectory tracking problem. Some simulation results are given to verify the effectiveness of the proposed method.

关键词： Mathematical model Aerospace electronics Manipulator dynamics Equations Space vehicles

来源：评论

学校读者我要写书评

暂无评论

Fuzzy dynamic characteristic modeling and intelligent adaptive control for complex spacecraft

Fuzzy dynamic characteristic modeling and intelligent adapti...

引用

World Congress on Intelligent Control and Automation (WCICA)

作者： Xiong Luo Song Hu Zengqi Sun Xintao Qiu School of Information Engineering Key Laboratory of Advanced Control of Iron and Steel Process (Ministry of Education) University of Science and Technology Beijing Beijing China State Key Laboratory of Intelligent Technology and System Department of Computer Science and Technology Tsinghua National Laboratory for Information Science and Technology Tsinghua University Beijing China

Because of strong coupling, nonlinear, and time-varying characteristics, it is difficult to control complex spacecraft. By means of combining with controlled object dynamics and performance requirements, characteristic modeling and control approach is an effective way to solve this problem. Aimed at the flexible satellites described by using characteristic modeling approach, with the help of fuzzy rules, fuzzy dynamic characteristic modeling method and intelligent adaptive controller are designed to control this complex spacecraft. Meanwhile, based on the satellite system simulation platform, we validate the correctness and efficiency of the proposed modeling and control method by comparing with the simulation results of the other similar methods.

关键词： Adaptation model Laboratories Satellites Space vehicles Intelligent control Artificial intelligence information science

来源：评论

学校读者我要写书评

暂无评论

Notice of Retraction: Evolutionary algorithm for optimal visual coverage path in raster terrain

Notice of Retraction: Evolutionary algorithm for optimal vis...

引用

International Conference on computer science and information technology (CSIT)

作者： Jie Li Changwen Zheng Xiaohui Hu Department of Electronic Engineering and Information Science University of Science and Technology Hefei China National Key Laboratory of Integrated Information System Technology IS-CAS Beijing China

This article has been retracted by the publisher.

关键词：

来源：评论

学校读者我要写书评

暂无评论

The Transition Between Sharp and Rounded Features and the Manipulation of Incompatible Boundary in Filling n-sided Holes

The Transition Between Sharp and Rounded Features and the Ma...

引用

International Conference on Shape Modeling and Applications

作者： Kan-Le Shi Jun-Hai Yong Peng Liu Jia-Guang Sun Jean-Claude Paul Key Laboratory of Information System Security Ministry of Education of China Beijing China Department of Computer Science and Technology Tsinghua University Beijing China Tsinghua National Laboratory for Information Science and Technology Beijing China School of Software Tsinghua University Beijing China Tsinghua University Beijing Beijing CN INRIA France

ISBN: (纸本)9781424472598;9780769540726

N-sided hole filling plays an important role in vertex blending. Piegl and Tiller presented an algorithm to interpolate the given boundary and cross-boundary derivatives in B-spline form. To deal with the incompatible cases that their algorithm cannot handle, we propose an extension method to manipulate the transition between sharp and rounded features. The algorithm first patches n crescent-shaped extended surfaces to the boundary with G 2 continuity to handle incompatibility problem in the corners. Then, we compute the inner curves and the corresponding cross-boundary derivatives fulfilling tangent and twist compatibilities. The generated B-spline Coons patches are G 1 -continuously connected exactly, and have ε-G 1 continuity with the extended surfaces. Our method improves the continuity-quality of the shape and reduces the count of the inserted knots. It can be applied to all G 0 -continuous boundary conditions without any restrictions imposed on the boundary or cross-boundary derivatives. It generates better shapes than some popular industrial modeling systems on these incompatible occasions. Some examples underline its feasibility.

关键词： Filling Spline Shape Educational technology Laboratories computer science information science information systems computer security information security

来源：评论

学校读者我要写书评

暂无评论

On Achieving Maximum Secure Throughput Using Network Coding Against Wiretap Attack

On Achieving Maximum Secure Throughput Using Network Coding ...

引用

IEEE International Conference on Distributed Computing systems

作者： Xiangmao Chang Jin Wang Jianping Wang Victor Lee Kejie Lu Yixian Yang Information Security Center State Key Laboratory of Networking and Switching Technology Beijing University of Posts and Telecommunications Department of Computer Science University of Science and Technology of China Department of Computer Science City University of Hong Kong Department of Electrical and Computer Engineering University of Puerto Rico at Mayaguez

ISBN: (纸本)9781424472611;9780769540597

In recent years network coding has attracted significant attention in telecommunication. The benefits of network coding to a communication network include the increased throughput as well as secure data transmission. The purpose of this work is to design secure linear network coding against wiretap attack. The problem is to maximize the transmission data rate of multiple unicast streams between a pair of source and destination nodes, under the condition of satisfying the weakly secure requirements. Different from most existing research on network coding that designs the network coding scheme based on a given network topology, we will consider the integrated network topology design and network coding design. Such an integrated approach has not been reported by other researchers. In this paper, we formally introduce the problem, prove the problem is computational intractable, and then develop efficient heuristic algorithms. We first try to find the transmission topology that is suitable for network coding. Based on the topology, we design linear network coding scheme that is weakly secure. We conduct simulations to show that the proposed algorithms can achieve good performance.

关键词： Network coding Network topology Data transfer rates Secure networks(communications) topology labeling scheme Heuristic algorithms Linear networks Hierarchical Network coding(HNC) data transmission

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：