2 citations found. Retrieving documents...
PLX-Technology. PCI 9054 Data Book, 2.1 edition, 2000.

 Home/Search   Document Not in Database   Summary   Related Articles   Check  

This paper is cited in the following contexts:
Towards Device Driver Synthesis - Lehmann (2002)   (Correct)

....of a device is a semi formal specification in natural language intermixed with schematics in a broad outline, similar to the rest of the device descriptions. A first approach for a more formal description by means of a logic schematic can be found in the documentation of the PLX9054 PCI bridge [87]. The graphical representation of the relationship consists of sources, switches, and inclusive OR gates for the join of signals. This approach can be extended by further elements which can be found in the hardware implementation of interrupt systems. The elements form a graph of interacting ....

....of the devices lead to a special form of system attacks, even if the driver is encapsulated to its memory and its peripheral device. Here DMA transfers are the main attacking mechanisms for intrusion by devices. Devices with their own DMA controller (for example the PCI bridges by PLX Technology [86, 87]) can be used to read out the kernel memory, and transfer it to locations where it can be analysed by the driver or a user application. The Memory Management Unit (MMU) controls only the access from the CPU to the memory, but not the access from a peripheral bus. This totally undermines memory ....

PLX-Technology. PCI 9054 Data Book, 2.1 edition, 2000.


Towards Device Driver Synthesis - Lehmann (2002)   (Correct)

....for the evaluation of the described synthesis method. As devices and communication networks, the following examples have been used for method verification and evaluation of the code quality: A CAN Controller of the type 82527 by Intel [44] attached to the local bus of a PLX 9080 PCI bridge [86] by PLX Technologie . The PCI bus protocol is translated to the memory bus of a Pentium processor by Intel. The memory bus protocol bridges to the software side, using the Linux macros for memory access inside the Linux operating system kernel. The translation order is from Linux assembler ....

....of the devices lead to a special form of system attacks, even if the driver is encapsulated to its memory and its peripheral device. Here DMA transfers are the main attacking mechanisms for intrusion by devices. Devices with their own DMA controller (for example the PCI bridges by PLX Technology [86, 87]) can be used to read out the kernel memory, and transfer it to locations where it can be analysed by the driver or a user application. The Memory Management Unit (MMU) controls only the access from the CPU to the memory, but not the access from a peripheral bus. This totally undermines memory ....

PLX-Technology. PCI 9080 Data Book, 1.05 edition, 1998.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC