The Experts below are selected from a list of 210 Experts worldwide ranked by ideXlab platform

Timothy E. Levin - One of the best experts on this subject based on the ideXlab platform.

  • SecureCore software architecture: Trusted Management Layer (TML) kernel extension module interface specification
    2008
    Co-Authors: David J. Shifflett, Paul C. Clark, Cynthia E. Irvine, Thuy D. Nguyen, Timothy Vidas, Timothy E. Levin
    Abstract:

    Abstract : A Mobile Computing Device has more inherent risk than desktops or most other stationary Computing Devices. Such Mobile Devices are typically carried outside of a controlled physical environment, and they must communicate over an insecure medium. The risk is even greater if the data being stored, processed, and transmitted by the Mobile Device is classified. The purpose of the SecureCore research project is to investigate fundamental architectural features required for the trusted operation of Mobile Computing Devices such as smart cards, embedded controllers, and hand-held computers. The goal is to provide secure processing and communication features for resource-constrained platforms, without compromise of performance, size, cost, or energy consumption. In this environment, the security must also be built-in, transparent, and flexible. This document describes the interfaces for kernel extension modules that may be incorporated into the Trusted Management Layer (TML), specifically the Least Privilege Separation Kernel (LPSK). The LPSK is composed of modules which are used as the building blocks of the kernel implementation. These modules are referred to as core kernel modules. Kernel extension modules are separate from the core LPSK modules, providing additional functionality. Included in this document are interfaces that the LPSK provides for the kernel extension modules to call, as well as interfaces the kernel extension modules present for the LPSK to call under certain circumstances.

  • SecureCore Software Architecture: Trusted Management Layer (TML) Kernel Extension Module Integration Guide
    2007
    Co-Authors: Cynthia E. Irvine, Paul C. Clark, Thuy D. Nguyen, Timothy Vidas, Timothy E. Levin, David J. Shifflett
    Abstract:

    Abstract : A Mobile Computing Device has more inherent risk than desktops or most other stationary Computing Devices. Such Mobile Devices are typically carried outside of a controlled physical environment, and they must communicate over an insecure medium. The risk is even greater if the data being stored, processed, and transmitted by the Mobile Device is classified. The purpose of the SecureCore research project is to investigate fundamental architectural features required for the trusted operation of Mobile Computing Devices such as smart cards, embedded controllers, and hand-held computers. The goal is to provide secure processing and communication features for resource-constrained platforms, without compromise of performance, size, cost, or energy consumption. In this environment, the security must also be built-in, transparent, and flexible. This document describes the requirements for building kernel extension modules that may be incorporated into the Trusted Management Layer (TML), specifically the Least Privilege Separation Kernel (LPSK). The LPSK is composed of modules which are used as the building blocks of the kernel implementation. These modules are referred to as core kernel modules. Kernel extension modules are separate from the core LPSK modules, providing additional functionality. Integration of extension modules with the LPSK is described, including coding techniques, and compile and link directions.

  • SecureCore software architecture trusted path application (TPA) requirements
    2007
    Co-Authors: Paul C. Clark, Cynthia E. Irvine, Thuy D. Nguyen, Timothy E. Levin, Timothy Vidas
    Abstract:

    Abstract : A Mobile Computing Device has more inherent risk than desktops or most other stationary Computing Devices. Such Mobile Devices are typically carried outside of a controlled physical environment, and they must communicate over an insecure medium. The risk is even greater if the data being stored, processed and transmitted by the Mobile Device is classified. The purpose of the SecureCore research project is to investigate fundamental architectural features required for the trusted operation of Mobile Computing Devices so the security is built-in, transparent and flexible. A high-level architecture is described to provide such features. In addition, a usage scenario is described for a potential use of the architecture, with emphasis on the trusted path, a non-spoofable user interface to the trusted components of the system. Detailed requirements for the trusted path are provided.

David J. Shifflett - One of the best experts on this subject based on the ideXlab platform.

  • SecureCore software architecture: Trusted Management Layer (TML) kernel extension module interface specification
    2008
    Co-Authors: David J. Shifflett, Paul C. Clark, Cynthia E. Irvine, Thuy D. Nguyen, Timothy Vidas, Timothy E. Levin
    Abstract:

    Abstract : A Mobile Computing Device has more inherent risk than desktops or most other stationary Computing Devices. Such Mobile Devices are typically carried outside of a controlled physical environment, and they must communicate over an insecure medium. The risk is even greater if the data being stored, processed, and transmitted by the Mobile Device is classified. The purpose of the SecureCore research project is to investigate fundamental architectural features required for the trusted operation of Mobile Computing Devices such as smart cards, embedded controllers, and hand-held computers. The goal is to provide secure processing and communication features for resource-constrained platforms, without compromise of performance, size, cost, or energy consumption. In this environment, the security must also be built-in, transparent, and flexible. This document describes the interfaces for kernel extension modules that may be incorporated into the Trusted Management Layer (TML), specifically the Least Privilege Separation Kernel (LPSK). The LPSK is composed of modules which are used as the building blocks of the kernel implementation. These modules are referred to as core kernel modules. Kernel extension modules are separate from the core LPSK modules, providing additional functionality. Included in this document are interfaces that the LPSK provides for the kernel extension modules to call, as well as interfaces the kernel extension modules present for the LPSK to call under certain circumstances.

  • SecureCore Software Architecture: Trusted Management Layer (TML) Kernel Extension Module Integration Guide
    2007
    Co-Authors: Cynthia E. Irvine, Paul C. Clark, Thuy D. Nguyen, Timothy Vidas, Timothy E. Levin, David J. Shifflett
    Abstract:

    Abstract : A Mobile Computing Device has more inherent risk than desktops or most other stationary Computing Devices. Such Mobile Devices are typically carried outside of a controlled physical environment, and they must communicate over an insecure medium. The risk is even greater if the data being stored, processed, and transmitted by the Mobile Device is classified. The purpose of the SecureCore research project is to investigate fundamental architectural features required for the trusted operation of Mobile Computing Devices such as smart cards, embedded controllers, and hand-held computers. The goal is to provide secure processing and communication features for resource-constrained platforms, without compromise of performance, size, cost, or energy consumption. In this environment, the security must also be built-in, transparent, and flexible. This document describes the requirements for building kernel extension modules that may be incorporated into the Trusted Management Layer (TML), specifically the Least Privilege Separation Kernel (LPSK). The LPSK is composed of modules which are used as the building blocks of the kernel implementation. These modules are referred to as core kernel modules. Kernel extension modules are separate from the core LPSK modules, providing additional functionality. Integration of extension modules with the LPSK is described, including coding techniques, and compile and link directions.

Cynthia E. Irvine - One of the best experts on this subject based on the ideXlab platform.

  • SecureCore software architecture: Trusted Management Layer (TML) kernel extension module interface specification
    2008
    Co-Authors: David J. Shifflett, Paul C. Clark, Cynthia E. Irvine, Thuy D. Nguyen, Timothy Vidas, Timothy E. Levin
    Abstract:

    Abstract : A Mobile Computing Device has more inherent risk than desktops or most other stationary Computing Devices. Such Mobile Devices are typically carried outside of a controlled physical environment, and they must communicate over an insecure medium. The risk is even greater if the data being stored, processed, and transmitted by the Mobile Device is classified. The purpose of the SecureCore research project is to investigate fundamental architectural features required for the trusted operation of Mobile Computing Devices such as smart cards, embedded controllers, and hand-held computers. The goal is to provide secure processing and communication features for resource-constrained platforms, without compromise of performance, size, cost, or energy consumption. In this environment, the security must also be built-in, transparent, and flexible. This document describes the interfaces for kernel extension modules that may be incorporated into the Trusted Management Layer (TML), specifically the Least Privilege Separation Kernel (LPSK). The LPSK is composed of modules which are used as the building blocks of the kernel implementation. These modules are referred to as core kernel modules. Kernel extension modules are separate from the core LPSK modules, providing additional functionality. Included in this document are interfaces that the LPSK provides for the kernel extension modules to call, as well as interfaces the kernel extension modules present for the LPSK to call under certain circumstances.

  • SecureCore Software Architecture: Trusted Management Layer (TML) Kernel Extension Module Integration Guide
    2007
    Co-Authors: Cynthia E. Irvine, Paul C. Clark, Thuy D. Nguyen, Timothy Vidas, Timothy E. Levin, David J. Shifflett
    Abstract:

    Abstract : A Mobile Computing Device has more inherent risk than desktops or most other stationary Computing Devices. Such Mobile Devices are typically carried outside of a controlled physical environment, and they must communicate over an insecure medium. The risk is even greater if the data being stored, processed, and transmitted by the Mobile Device is classified. The purpose of the SecureCore research project is to investigate fundamental architectural features required for the trusted operation of Mobile Computing Devices such as smart cards, embedded controllers, and hand-held computers. The goal is to provide secure processing and communication features for resource-constrained platforms, without compromise of performance, size, cost, or energy consumption. In this environment, the security must also be built-in, transparent, and flexible. This document describes the requirements for building kernel extension modules that may be incorporated into the Trusted Management Layer (TML), specifically the Least Privilege Separation Kernel (LPSK). The LPSK is composed of modules which are used as the building blocks of the kernel implementation. These modules are referred to as core kernel modules. Kernel extension modules are separate from the core LPSK modules, providing additional functionality. Integration of extension modules with the LPSK is described, including coding techniques, and compile and link directions.

  • SecureCore software architecture trusted path application (TPA) requirements
    2007
    Co-Authors: Paul C. Clark, Cynthia E. Irvine, Thuy D. Nguyen, Timothy E. Levin, Timothy Vidas
    Abstract:

    Abstract : A Mobile Computing Device has more inherent risk than desktops or most other stationary Computing Devices. Such Mobile Devices are typically carried outside of a controlled physical environment, and they must communicate over an insecure medium. The risk is even greater if the data being stored, processed and transmitted by the Mobile Device is classified. The purpose of the SecureCore research project is to investigate fundamental architectural features required for the trusted operation of Mobile Computing Devices so the security is built-in, transparent and flexible. A high-level architecture is described to provide such features. In addition, a usage scenario is described for a potential use of the architecture, with emphasis on the trusted path, a non-spoofable user interface to the trusted components of the system. Detailed requirements for the trusted path are provided.

Timothy Vidas - One of the best experts on this subject based on the ideXlab platform.

  • SecureCore software architecture: Trusted Management Layer (TML) kernel extension module interface specification
    2008
    Co-Authors: David J. Shifflett, Paul C. Clark, Cynthia E. Irvine, Thuy D. Nguyen, Timothy Vidas, Timothy E. Levin
    Abstract:

    Abstract : A Mobile Computing Device has more inherent risk than desktops or most other stationary Computing Devices. Such Mobile Devices are typically carried outside of a controlled physical environment, and they must communicate over an insecure medium. The risk is even greater if the data being stored, processed, and transmitted by the Mobile Device is classified. The purpose of the SecureCore research project is to investigate fundamental architectural features required for the trusted operation of Mobile Computing Devices such as smart cards, embedded controllers, and hand-held computers. The goal is to provide secure processing and communication features for resource-constrained platforms, without compromise of performance, size, cost, or energy consumption. In this environment, the security must also be built-in, transparent, and flexible. This document describes the interfaces for kernel extension modules that may be incorporated into the Trusted Management Layer (TML), specifically the Least Privilege Separation Kernel (LPSK). The LPSK is composed of modules which are used as the building blocks of the kernel implementation. These modules are referred to as core kernel modules. Kernel extension modules are separate from the core LPSK modules, providing additional functionality. Included in this document are interfaces that the LPSK provides for the kernel extension modules to call, as well as interfaces the kernel extension modules present for the LPSK to call under certain circumstances.

  • SecureCore Software Architecture: Trusted Management Layer (TML) Kernel Extension Module Integration Guide
    2007
    Co-Authors: Cynthia E. Irvine, Paul C. Clark, Thuy D. Nguyen, Timothy Vidas, Timothy E. Levin, David J. Shifflett
    Abstract:

    Abstract : A Mobile Computing Device has more inherent risk than desktops or most other stationary Computing Devices. Such Mobile Devices are typically carried outside of a controlled physical environment, and they must communicate over an insecure medium. The risk is even greater if the data being stored, processed, and transmitted by the Mobile Device is classified. The purpose of the SecureCore research project is to investigate fundamental architectural features required for the trusted operation of Mobile Computing Devices such as smart cards, embedded controllers, and hand-held computers. The goal is to provide secure processing and communication features for resource-constrained platforms, without compromise of performance, size, cost, or energy consumption. In this environment, the security must also be built-in, transparent, and flexible. This document describes the requirements for building kernel extension modules that may be incorporated into the Trusted Management Layer (TML), specifically the Least Privilege Separation Kernel (LPSK). The LPSK is composed of modules which are used as the building blocks of the kernel implementation. These modules are referred to as core kernel modules. Kernel extension modules are separate from the core LPSK modules, providing additional functionality. Integration of extension modules with the LPSK is described, including coding techniques, and compile and link directions.

  • SecureCore software architecture trusted path application (TPA) requirements
    2007
    Co-Authors: Paul C. Clark, Cynthia E. Irvine, Thuy D. Nguyen, Timothy E. Levin, Timothy Vidas
    Abstract:

    Abstract : A Mobile Computing Device has more inherent risk than desktops or most other stationary Computing Devices. Such Mobile Devices are typically carried outside of a controlled physical environment, and they must communicate over an insecure medium. The risk is even greater if the data being stored, processed and transmitted by the Mobile Device is classified. The purpose of the SecureCore research project is to investigate fundamental architectural features required for the trusted operation of Mobile Computing Devices so the security is built-in, transparent and flexible. A high-level architecture is described to provide such features. In addition, a usage scenario is described for a potential use of the architecture, with emphasis on the trusted path, a non-spoofable user interface to the trusted components of the system. Detailed requirements for the trusted path are provided.

Paul C. Clark - One of the best experts on this subject based on the ideXlab platform.

  • SecureCore software architecture: Trusted Management Layer (TML) kernel extension module interface specification
    2008
    Co-Authors: David J. Shifflett, Paul C. Clark, Cynthia E. Irvine, Thuy D. Nguyen, Timothy Vidas, Timothy E. Levin
    Abstract:

    Abstract : A Mobile Computing Device has more inherent risk than desktops or most other stationary Computing Devices. Such Mobile Devices are typically carried outside of a controlled physical environment, and they must communicate over an insecure medium. The risk is even greater if the data being stored, processed, and transmitted by the Mobile Device is classified. The purpose of the SecureCore research project is to investigate fundamental architectural features required for the trusted operation of Mobile Computing Devices such as smart cards, embedded controllers, and hand-held computers. The goal is to provide secure processing and communication features for resource-constrained platforms, without compromise of performance, size, cost, or energy consumption. In this environment, the security must also be built-in, transparent, and flexible. This document describes the interfaces for kernel extension modules that may be incorporated into the Trusted Management Layer (TML), specifically the Least Privilege Separation Kernel (LPSK). The LPSK is composed of modules which are used as the building blocks of the kernel implementation. These modules are referred to as core kernel modules. Kernel extension modules are separate from the core LPSK modules, providing additional functionality. Included in this document are interfaces that the LPSK provides for the kernel extension modules to call, as well as interfaces the kernel extension modules present for the LPSK to call under certain circumstances.

  • SecureCore Software Architecture: Trusted Management Layer (TML) Kernel Extension Module Integration Guide
    2007
    Co-Authors: Cynthia E. Irvine, Paul C. Clark, Thuy D. Nguyen, Timothy Vidas, Timothy E. Levin, David J. Shifflett
    Abstract:

    Abstract : A Mobile Computing Device has more inherent risk than desktops or most other stationary Computing Devices. Such Mobile Devices are typically carried outside of a controlled physical environment, and they must communicate over an insecure medium. The risk is even greater if the data being stored, processed, and transmitted by the Mobile Device is classified. The purpose of the SecureCore research project is to investigate fundamental architectural features required for the trusted operation of Mobile Computing Devices such as smart cards, embedded controllers, and hand-held computers. The goal is to provide secure processing and communication features for resource-constrained platforms, without compromise of performance, size, cost, or energy consumption. In this environment, the security must also be built-in, transparent, and flexible. This document describes the requirements for building kernel extension modules that may be incorporated into the Trusted Management Layer (TML), specifically the Least Privilege Separation Kernel (LPSK). The LPSK is composed of modules which are used as the building blocks of the kernel implementation. These modules are referred to as core kernel modules. Kernel extension modules are separate from the core LPSK modules, providing additional functionality. Integration of extension modules with the LPSK is described, including coding techniques, and compile and link directions.

  • SecureCore software architecture trusted path application (TPA) requirements
    2007
    Co-Authors: Paul C. Clark, Cynthia E. Irvine, Thuy D. Nguyen, Timothy E. Levin, Timothy Vidas
    Abstract:

    Abstract : A Mobile Computing Device has more inherent risk than desktops or most other stationary Computing Devices. Such Mobile Devices are typically carried outside of a controlled physical environment, and they must communicate over an insecure medium. The risk is even greater if the data being stored, processed and transmitted by the Mobile Device is classified. The purpose of the SecureCore research project is to investigate fundamental architectural features required for the trusted operation of Mobile Computing Devices so the security is built-in, transparent and flexible. A high-level architecture is described to provide such features. In addition, a usage scenario is described for a potential use of the architecture, with emphasis on the trusted path, a non-spoofable user interface to the trusted components of the system. Detailed requirements for the trusted path are provided.