The Experts below are selected from a list of 4866 Experts worldwide ranked by ideXlab platform
Xiaoyin Wang - One of the best experts on this subject based on the ideXlab platform.
-
understanding execution environment of File Manipulation scripts by extracting pre conditions
International Conference on Program Comprehension, 2021Co-Authors: Rodney Rodriguez, Xiaoyin WangAbstract:File Manipulation scripts are widely used in software projects to operate the File system at run time. Due to the emergence of DevOps practices in software industry, developers also use longer and more complicated File Manipulations in their continuous integration and deployment scripts to automate software build, testing, and deployment in different environment configurations. A major challenge on understanding these scripts is that they make lots of implicit assumptions on the File system they are executed on. Such assumptions are rarely documented and often do not hold when a script is moved to another execution environment. In this paper, we propose a static-analysis-based technique that statically infer the directory tree pre-condition of the File system required to execute a File Manipulation script. We evaluated our analysis on 58 docker Files and the experiment shows that our technique is able to generate directory tree preconditions on real world scripts efficiently.
-
Static Analysis of File Manipulation Scripts
2019 IEEE 24th Pacific Rim International Symposium on Dependable Computing (PRDC), 2019Co-Authors: Rodney Rodriguez, Xiaoyin WangAbstract:Various scripts are often used to automatically build, configure, and deploy software, as well as to combine code base written in different programming languages. In this project, we develop novel analysis techniques for File Manipulation scripts to statically detect path-related errors and estimate the necessary directory structure (path pre-conditions) before running a script. Due to the prevalence of path generation and File Manipulation operations in various scripts, our proposed technique may enhance the reliability and transportability of these scripts.
Rodney Rodriguez - One of the best experts on this subject based on the ideXlab platform.
-
understanding execution environment of File Manipulation scripts by extracting pre conditions
International Conference on Program Comprehension, 2021Co-Authors: Rodney Rodriguez, Xiaoyin WangAbstract:File Manipulation scripts are widely used in software projects to operate the File system at run time. Due to the emergence of DevOps practices in software industry, developers also use longer and more complicated File Manipulations in their continuous integration and deployment scripts to automate software build, testing, and deployment in different environment configurations. A major challenge on understanding these scripts is that they make lots of implicit assumptions on the File system they are executed on. Such assumptions are rarely documented and often do not hold when a script is moved to another execution environment. In this paper, we propose a static-analysis-based technique that statically infer the directory tree pre-condition of the File system required to execute a File Manipulation script. We evaluated our analysis on 58 docker Files and the experiment shows that our technique is able to generate directory tree preconditions on real world scripts efficiently.
-
Static Analysis of File Manipulation Scripts
2019 IEEE 24th Pacific Rim International Symposium on Dependable Computing (PRDC), 2019Co-Authors: Rodney Rodriguez, Xiaoyin WangAbstract:Various scripts are often used to automatically build, configure, and deploy software, as well as to combine code base written in different programming languages. In this project, we develop novel analysis techniques for File Manipulation scripts to statically detect path-related errors and estimate the necessary directory structure (path pre-conditions) before running a script. Due to the prevalence of path generation and File Manipulation operations in various scripts, our proposed technique may enhance the reliability and transportability of these scripts.
Toshihiro Yamauchi - One of the best experts on this subject based on the ideXlab platform.
-
design and implementation of hiding method for File Manipulation of essential services by system call proxy using virtual machine monitor
International Journal of Space-Based and Situated Computing, 2019Co-Authors: Masaya Sato, Hideo Taniguchi, Toshihiro YamauchiAbstract:Security or system management software is essential for keeping systems secure. To deter attacks on essential services, hiding information related to essential services is helpful. This paper describes the design, the implementation, and the evaluation of a method to make Files invisible to all services except their corresponding essential services and provides access methods to those Files in a virtual machine (VM). In the proposed method, the virtual machine monitor (VMM) monitors the system call, which invoked by an essential process to access essential Files, and requests proxy execution to the proxy process on another VM. The VMM returns the result and skips the execution of the original system call on the protection target VM. Thus, access to essential Files by the essential service is skipped on the protection target VM, but the essential service can access the File content.
-
Hiding File Manipulation of Essential Services by System Call Proxy
Advances in Network-Based Information Systems, 2019Co-Authors: Masaya Sato, Hideo Taniguchi, Toshihiro YamauchiAbstract:Security software or logging programs are frequently attacked because they are an obstruction to attackers. Protecting these essential services from attack is crucial to preventing and mitigating damage. Hiding information related to essential services, such as that of the Files and processes, can help to deter attacks on these services. This paper proposes a method of hiding File Manipulation for essential services. The method makes the Files invisible to all services except their corresponding essential services and provides access methods to those Files in a virtual machine (VM) environment. In the proposed method, system calls to those Files are executed by a proxy process on the other VM. The original system call is not executed in the operating system of the original VM, however, the result of File access is returned to the original process. Thus, the Files of essential services are placed on the other VM and other processes on the original VM cannot access to them. Therefore, the proposed method can prevent or deter identification of essential services based on File information monitoring.
W A Gruver - One of the best experts on this subject based on the ideXlab platform.
-
an intelligent vision guided telerobotic system for File Manipulation and office automation
Systems Man and Cybernetics, 2000Co-Authors: Kevin G Stanley, W A GruverAbstract:Describes a vision-guided telerobotic system that enables people with disabilities to perform clerical or office tasks. By adding a light-duty robot to the office workspace, the operator can manipulate Files and perform other work-related tasks. To increase the effectiveness of the robot, vision can be used to verify that the robot is correctly positioned. In addition, vision can be be coupled with the telerobotic system to allow the user more intuitive control over the robot. Visual servoing and traditional computed kinematics actions are inappropriate for this application because visual servoing requires an excessive number of iterations and computed kinematics requires accurate calibration. To counteract these difficulties and to provide user functionality, we have designed a hybrid computed-kinematics telerobotic system with an initial coarsely-calibrated computed-kinematics step followed by a more accurate visual-servoing step. We show that there are significant performance benefits from this approach. Finally, we describe how the hybrid system may be utilized in an office environment.
-
an intelligent vision guided telerobotic and office automation system for File Manipulation
2000Co-Authors: Kevin G Stanley, W A GruverAbstract:This research describes a vision guided telerobotic system that enables people with disabilities to perform clerical or office tasks. By adding a light duty robot to the office workspace the operator can manipulate Files and perfoim other work related tasks. To increase the effectiveness of the robot, vision can be used to verify that the robot is correctly positioned. In addition, vision can be be coupled with the telerobotic system to allow the user more intuitive control over the robot. Visual servoing and traditional computed kinematics actions are inappropriate for this application because visual servoing requires an excessive number of iterations, and computed kinematics requires accurate calibration. To counteract these difficulties, and provide usex functionality, we have designed a hybrid computed kinematics telerobotic system with an initial coarsely calibrated computed kinematics step followed by a more accurate visual servoing step. We show that there are significant performance benefits from this approach. Finally, we describe how the hybrid system may be utilized in an office environment.
Masaya Sato - One of the best experts on this subject based on the ideXlab platform.
-
design and implementation of hiding method for File Manipulation of essential services by system call proxy using virtual machine monitor
International Journal of Space-Based and Situated Computing, 2019Co-Authors: Masaya Sato, Hideo Taniguchi, Toshihiro YamauchiAbstract:Security or system management software is essential for keeping systems secure. To deter attacks on essential services, hiding information related to essential services is helpful. This paper describes the design, the implementation, and the evaluation of a method to make Files invisible to all services except their corresponding essential services and provides access methods to those Files in a virtual machine (VM). In the proposed method, the virtual machine monitor (VMM) monitors the system call, which invoked by an essential process to access essential Files, and requests proxy execution to the proxy process on another VM. The VMM returns the result and skips the execution of the original system call on the protection target VM. Thus, access to essential Files by the essential service is skipped on the protection target VM, but the essential service can access the File content.
-
Hiding File Manipulation of Essential Services by System Call Proxy
Advances in Network-Based Information Systems, 2019Co-Authors: Masaya Sato, Hideo Taniguchi, Toshihiro YamauchiAbstract:Security software or logging programs are frequently attacked because they are an obstruction to attackers. Protecting these essential services from attack is crucial to preventing and mitigating damage. Hiding information related to essential services, such as that of the Files and processes, can help to deter attacks on these services. This paper proposes a method of hiding File Manipulation for essential services. The method makes the Files invisible to all services except their corresponding essential services and provides access methods to those Files in a virtual machine (VM) environment. In the proposed method, system calls to those Files are executed by a proxy process on the other VM. The original system call is not executed in the operating system of the original VM, however, the result of File access is returned to the original process. Thus, the Files of essential services are placed on the other VM and other processes on the original VM cannot access to them. Therefore, the proposed method can prevent or deter identification of essential services based on File information monitoring.