control Flow Integrity (CFI) is an attractive security property with which most injected and code reuse attacks can be defeated, including advanced attacking techniques like Return-Oriented Programming (ROP). However,...
详细信息
ISBN:
(纸本)9783319458717;9783319458700
control Flow Integrity (CFI) is an attractive security property with which most injected and code reuse attacks can be defeated, including advanced attacking techniques like Return-Oriented Programming (ROP). However, comprehensive enforcement of CFI is expensive due to additional supports needed (e.g., compiler support and presence of relocation or debug information) and performance overhead. Recent research has been trying to strike the balance among reasonable approximation of the CFI properties, minimal additional supports needed, and acceptable performance. We investigate existing dynamic code optimization techniques and find that they provide an architecture on which CFI can be enforced effectively and efficiently. In this paper, we propose and implement DynCFI that enforces security policies on a well established dynamic optimizer and show that it provides comparable CFI properties with existing CFI implementations while lowering the overall performance overhead from 28.6% to 14.8%. We further perform comprehensive evaluations and shed light on the exact amount of savings contributed by the various components of the dynamic optimizer including basic block cache, trace cache, branch prediction, and indirect branch lookup.
Recently, driving support technologies, such as inter-vehicle and road-to-vehicle communication technologies, have been practically used. However, a problem has been pointed out that when a vehicle is connected with a...
详细信息
ISBN:
(纸本)9781479986798
Recently, driving support technologies, such as inter-vehicle and road-to-vehicle communication technologies, have been practically used. However, a problem has been pointed out that when a vehicle is connected with an external network, the safety of the vehicle is threatened. As a result, the security of vehicle controlsystems, which greatly affects vehicle safety, has become more important than ever. Ensuring the security of invehicle systems becomes an important priority, similar to ensuring conventional safety. the present study proposes a controller area network (CAN) communications method that uses a lightweight cipher to realize secure in-vehicle systems. the present study also constructs an evaluation system using a field-programmable gate array (FPGA) board and a radio-controlled car. this is used to verify the proposed method.
A patrol of robot teams, where the robots are required to repeatedly visit a target area, is a useful tool in detecting an adversary trying to penetrate. In this work we examine the Closed Perimeter Patrol problem, in...
详细信息
In this paper, we investigate the direct manipulation problem of free form deformation with rational DMS spline volume (RDMS-FFD). For the weights based direct manipulation method, the solution of the weights can be a...
详细信息
ISBN:
(纸本)9781424437009
In this paper, we investigate the direct manipulation problem of free form deformation with rational DMS spline volume (RDMS-FFD). For the weights based direct manipulation method, the solution of the weights can be achieved by solving a linear system;for the control points based method, the explicit solution of displacements of the control points can be obtained, and some properties are also derived from the results. For the constraint points inside the control lattices, we use the weights based methods;for the constraint points outside the control lattices, the control points based method is adopted. Several examples are presented to show the effectiveness of the proposed methods.
Traffic flow at urban intersections fluctuates randomly throughout the day. It depends on several dynamic factors and requires adequate regulation and adaptable control strategies in particular for traffic signals reg...
详细信息
Traffic flow at urban intersections fluctuates randomly throughout the day. It depends on several dynamic factors and requires adequate regulation and adaptable control strategies in particular for traffic signals regulation. this paper deals withthis problem, and our proposal focuses on the adaptive management of traffic lights within urban intersections. To do so, Timed Synchronized Petri Nets (TSPNs) models are first developed to model and study the system behaviour. then a real-time adaptive control strategy is proposed for traffic regulation within urban signalized intersections. the control logic is shared between two communicating components of the system. the slaves (TSPNs sub-models) controlthe traffic signals displays, phases transitions, and traffic flow fluctuations. the master (controller) decides and selects the next phase that should be serviced and determines its green light duration. Due to the used modularity approach, the developed models decrease the modelling complexity, and more importantly, they can be adapted easily to a cluster of intersections. Furthermore, various traffic signal control strategies could be implemented using these models. Moreover, some simulations are performed, and the obtained results are analysed and discussed. Our control strategy is validated through these simulation results. (C) 2020 the Authors. Published by Elsevier B.V.
We investigate the emergence of swarm intelligence using task allocation in large robot swarms. First, we compare task decomposition graphs of different levels of richness and measure the emergent intelligence arising...
详细信息
this study investigates the factors influencing the attitudes of software developers and IT professionals towards Green Information Technology (GIT) in Bangladeshi IT/software firms and examines their impact on engage...
详细信息
Computational complexity theory allows one to investigate the amount of resources (usually, time and/or space) which are needed to solve a given computational problem. Indeed, since the appearance of P systems several...
详细信息
this paper deals with introduction to the design of a motorized paraglider control. this device known also as a paracopter, parafoil delivery system, or powered parachute aircraft may be considered as a special type o...
详细信息
ISBN:
(数字)9783319273402
ISBN:
(纸本)9783319273402;9783319273396
this paper deals with introduction to the design of a motorized paraglider control. this device known also as a paracopter, parafoil delivery system, or powered parachute aircraft may be considered as a special type of Unmanned Aerial systems (UAVs). Due to several degrees of freedom, a highly nonlinear and unstable dynamics with internal couplings and strong external disturbances, its control represents a challenging problem. thus, its education requires corresponding learning approaches. One possible controller tuning method based on relay identification is treated and applied to the propeller pendulum representing motion typical for one degree of freedom of the paracopter control.
As a new research field on controlling science and engineering, fractional-order control gets more and more concerning. this article provides an overview of fractional-order control of background and basic knowledge o...
详细信息
暂无评论