The Experts below are selected from a list of 201258 Experts worldwide ranked by ideXlab platform
Pietro Biondi - One of the best experts on this subject based on the ideXlab platform.
-
SAFECOMP Workshops - Towards an Integrated Penetration Testing Environment for the CAN Protocol
Developments in Language Theory, 2018Co-Authors: Giampaolo Bella, Pietro BiondiAbstract:The Controller Area Network (CAN) is the most common protocol interconnecting the various control units of modern cars. Its vulnerabilities are somewhat known but we argue they are not yet fully explored—although the protocol is obviously not secure by design, it remains to be thoroughly assessed how and to what extent it can be maliciously exploited. This manuscript describes the early steps towards a larger goal, that of integrating the various CAN penTesting activities together and carry them out holistically within an established penTesting Environment such as the Metasploit Framework. In particular, we shall see how to build an exploit that upsets a simulated tachymeter running on a minimal Linux machine. While both portions are freely available from the authors’ Github shares, the exploit is currently subject to a Metaspoilt pull request.
Mitsuhisa Sato - One of the best experts on this subject based on the ideXlab platform.
-
large scale software Testing Environment using cloud computing technology for dependable parallel and distributed systems
International Conference on Software Testing Verification and Validation Workshops, 2010Co-Authors: Toshihiro Hanawa, Takayuki Banzai, Ryo Kanbayashi, Hitoshi Koizumi, Takayuki Imada, Mitsuhisa SatoAbstract:Various information systems are widely used in information society era, and the demand for highly dependable system is increasing year after year. However, software Testing for such a system becomes more difficult due to the enlargement and the complexity of the system. In particular, it is too difficult to test parallel and distributed systems sufficiently although dependable systems such as high-availability servers usually form parallel and distributed systems. To solve these problems, we proposed a software Testing Environment for dependable parallel and distributed system using the cloud computing technology, named D-Cloud. D-Cloud includes Eucalyptus as the cloud management software, and FaultVM based on QEMU as the virtualization software, and D-Cloud frontend for interpreting test scenario. D-Cloud enables not only to automate the system configuration and the test procedure but also to perform a number of test cases simultaneously, and to emulate hardware faults flexibly. In this paper, we present the concept and design of D-Cloud, and describe how to specify the system configuration and the test scenario. Furthermore, the preliminary test example as the software Testing using D-Cloud was presented. Its result shows that D-Cloud allows to set up the Environment easily, and to test the software Testing for the distributed system.
-
D-Cloud: Design of a Software Testing Environment for Reliable Distributed Systems Using Cloud Computing Technology
2010 10th IEEE/ACM International Conference on Cluster, Cloud and Grid Computing, 2010Co-Authors: Takayuki Banzai, Ryo Kanbayashi, Hitoshi Koizumi, Toshihiro Hanawa, Takayuki Imada, Mitsuhisa SatoAbstract:In this paper, we propose a software Testing Environment, called D-Cloud, using cloud computing technology and virtual machines with fault injection facility. Nevertheless, the importance of high dependability in a software system has recently increased, and exhaustive Testing of software systems is becoming expensive and time-consuming, and, in many cases, sufficient software Testing is not possible. In particular, it is often difficult to test parallel and distributed systems in the real world after deployment, although reliable systems, such as high-availability servers, are parallel and distributed systems. D-Cloud is a cloud system which manages virtual machines with fault injection facility. D-Cloud sets up a test Environment on the cloud resources using a given system configuration file and executes several tests automatically according to a given scenario. In this scenario, D-Cloud enables fault tolerance Testing by causing device faults by virtual machine. We have designed the D-Cloud system using Eucalyptus software and a description language for system configuration and the scenario of fault injection written in XML. We found that the D-Cloud system, which allows a user to easily set up and test a distributed system on the cloud and effectively reduces the cost and time of Testing.
Giampaolo Bella - One of the best experts on this subject based on the ideXlab platform.
-
SAFECOMP Workshops - Towards an Integrated Penetration Testing Environment for the CAN Protocol
Developments in Language Theory, 2018Co-Authors: Giampaolo Bella, Pietro BiondiAbstract:The Controller Area Network (CAN) is the most common protocol interconnecting the various control units of modern cars. Its vulnerabilities are somewhat known but we argue they are not yet fully explored—although the protocol is obviously not secure by design, it remains to be thoroughly assessed how and to what extent it can be maliciously exploited. This manuscript describes the early steps towards a larger goal, that of integrating the various CAN penTesting activities together and carry them out holistically within an established penTesting Environment such as the Metasploit Framework. In particular, we shall see how to build an exploit that upsets a simulated tachymeter running on a minimal Linux machine. While both portions are freely available from the authors’ Github shares, the exploit is currently subject to a Metaspoilt pull request.
Takayuki Banzai - One of the best experts on this subject based on the ideXlab platform.
-
large scale software Testing Environment using cloud computing technology for dependable parallel and distributed systems
International Conference on Software Testing Verification and Validation Workshops, 2010Co-Authors: Toshihiro Hanawa, Takayuki Banzai, Ryo Kanbayashi, Hitoshi Koizumi, Takayuki Imada, Mitsuhisa SatoAbstract:Various information systems are widely used in information society era, and the demand for highly dependable system is increasing year after year. However, software Testing for such a system becomes more difficult due to the enlargement and the complexity of the system. In particular, it is too difficult to test parallel and distributed systems sufficiently although dependable systems such as high-availability servers usually form parallel and distributed systems. To solve these problems, we proposed a software Testing Environment for dependable parallel and distributed system using the cloud computing technology, named D-Cloud. D-Cloud includes Eucalyptus as the cloud management software, and FaultVM based on QEMU as the virtualization software, and D-Cloud frontend for interpreting test scenario. D-Cloud enables not only to automate the system configuration and the test procedure but also to perform a number of test cases simultaneously, and to emulate hardware faults flexibly. In this paper, we present the concept and design of D-Cloud, and describe how to specify the system configuration and the test scenario. Furthermore, the preliminary test example as the software Testing using D-Cloud was presented. Its result shows that D-Cloud allows to set up the Environment easily, and to test the software Testing for the distributed system.
-
D-Cloud: Design of a Software Testing Environment for Reliable Distributed Systems Using Cloud Computing Technology
2010 10th IEEE/ACM International Conference on Cluster, Cloud and Grid Computing, 2010Co-Authors: Takayuki Banzai, Ryo Kanbayashi, Hitoshi Koizumi, Toshihiro Hanawa, Takayuki Imada, Mitsuhisa SatoAbstract:In this paper, we propose a software Testing Environment, called D-Cloud, using cloud computing technology and virtual machines with fault injection facility. Nevertheless, the importance of high dependability in a software system has recently increased, and exhaustive Testing of software systems is becoming expensive and time-consuming, and, in many cases, sufficient software Testing is not possible. In particular, it is often difficult to test parallel and distributed systems in the real world after deployment, although reliable systems, such as high-availability servers, are parallel and distributed systems. D-Cloud is a cloud system which manages virtual machines with fault injection facility. D-Cloud sets up a test Environment on the cloud resources using a given system configuration file and executes several tests automatically according to a given scenario. In this scenario, D-Cloud enables fault tolerance Testing by causing device faults by virtual machine. We have designed the D-Cloud system using Eucalyptus software and a description language for system configuration and the scenario of fault injection written in XML. We found that the D-Cloud system, which allows a user to easily set up and test a distributed system on the cloud and effectively reduces the cost and time of Testing.
Philippe L. Toint - One of the best experts on this subject based on the ideXlab platform.
-
CUTEst: a Constrained and Unconstrained Testing Environment with safe threads for mathematical optimization
Computational Optimization and Applications, 2015Co-Authors: Nicholas I. M. Gould, Dominique Orban, Philippe L. TointAbstract:We describe the most recent evolution of our constrained and unconstrained Testing Environment and its accompanying SIF decoder. Code-named SIFDecode and CUTEst , these updated versions feature dynamic memory allocation, a modern thread-safe Fortran modular design, a new Matlab interface and a revised installation procedure integrated with GALAHAD .
-
cuter and sifdec a constrained and unconstrained Testing Environment revisited
ACM Transactions on Mathematical Software, 2003Co-Authors: Nicholas I. M. Gould, Dominique Orban, Philippe L. TointAbstract:The initial release of CUTE, a widely used Testing Environment for optimization software, was described by Bongartz, et al. [1995]. A new version, now known as CUTEr, is presented. Features include reorganisation of the Environment to allow simultaneous multi-platform installation, new tools for, and interfaces to, optimization packages, and a considerably simplified and entirely automated installation procedure for unix systems. The Environment is fully backward compatible with its predecessor, and offers support for Fortran 90/95 and a general C/C++ Application Programming Interface. The SIF decoder, formerly a part of CUTE, has become a separate tool, easily callable by various packages. It features simple extensions to the SIF test problem format and the generation of files suited to automatic differentiation packages.
-
cute constrained and unconstrained Testing Environment
ACM Transactions on Mathematical Software, 1995Co-Authors: Ingrid Bongartz, Nicholas I. M. Gould, Andrew R Conn, Philippe L. TointAbstract:The purpose of this article is to discuss the scope and functionality of a versatile Environment for Testing small- and large-scale nonlinear optimization algorithms. Although many of these facilities were originally produced by the authors in conjunction with the software package LANCELOT, we believe that they will be useful in their own right and should be available to researchers for their development of optimization software. The tools can be obtained by anonymous ftp from a number of sources and may, in many cases, be installed automatically. The scope of a major collection of test problems written in the standard input format (SIF) used by the LANCELOT software package is described. Recognizing that most software was not written with the SIF in mind, we provide tools to assist in building an interface between this input format and other optimization packages. These tools provide a link between the SIF and a number of existing packages, including MINOS and OSL. Additionally, as each problem includes a specific classification that is designed to be useful in identifying particular classes of problems, facilities are provided to build and manage a database of this information. There is a Unix and C shell bias to many of the descriptions in the article, since, for the sake of simplicity, we do not illustrate everything in its fullest generality. We trust that the majority of potential users are sufficiently familiar with Unix that these examples will not lead to undue confusion.
