Spatial isolation on realtime hypervisor using core-local memory

Daisuke Yamaguchi, Takumi Yajima, Chen Yi Lee, Hiromasa Shimada, Yuki Kinebuchi, Tatsuo Nakajima

    研究成果: Conference contribution

    抄録

    Recently, the software of embedded systems grows increasingly complicated due to controversial needs of both rich functionalities and strict interrupt responsiveness. In order to deal with it, realtime virtualization technology for embedded systems is attracting interests. Virtualization allows multiple operating systems to run concurrently with minimal modifications, thus reduce the engineering cost. However, as the security of embedded systems getting more concerns in these days, current design of realtime hypervisor often makes it difficult to ensure the security without hardware virtualization support which is not widely available in the world of embedded systems. In this paper, we introduce Secure Pager which utilizes a common hardware design called core-local memory combined with check-sum based protections to enforce the spatial isolation without specific hardware virtualization support.

    元の言語English
    ホスト出版物のタイトルPECCS 2012 - Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems
    ページ415-421
    ページ数7
    出版物ステータスPublished - 2012
    イベント2nd International Conference on Pervasive Embedded Computing and Communication Systems, PECCS 2012 - Rome
    継続期間: 2012 2 242012 2 26

    Other

    Other2nd International Conference on Pervasive Embedded Computing and Communication Systems, PECCS 2012
    Rome
    期間12/2/2412/2/26

    Fingerprint

    Embedded systems
    Data storage equipment
    Computer hardware
    Computer operating systems
    Virtualization
    Costs

    ASJC Scopus subject areas

    • Computer Networks and Communications

    これを引用

    Yamaguchi, D., Yajima, T., Lee, C. Y., Shimada, H., Kinebuchi, Y., & Nakajima, T. (2012). Spatial isolation on realtime hypervisor using core-local memory. : PECCS 2012 - Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems (pp. 415-421)

    Spatial isolation on realtime hypervisor using core-local memory. / Yamaguchi, Daisuke; Yajima, Takumi; Lee, Chen Yi; Shimada, Hiromasa; Kinebuchi, Yuki; Nakajima, Tatsuo.

    PECCS 2012 - Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems. 2012. p. 415-421.

    研究成果: Conference contribution

    Yamaguchi, D, Yajima, T, Lee, CY, Shimada, H, Kinebuchi, Y & Nakajima, T 2012, Spatial isolation on realtime hypervisor using core-local memory. : PECCS 2012 - Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems. pp. 415-421, 2nd International Conference on Pervasive Embedded Computing and Communication Systems, PECCS 2012, Rome, 12/2/24.
    Yamaguchi D, Yajima T, Lee CY, Shimada H, Kinebuchi Y, Nakajima T. Spatial isolation on realtime hypervisor using core-local memory. : PECCS 2012 - Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems. 2012. p. 415-421
    Yamaguchi, Daisuke ; Yajima, Takumi ; Lee, Chen Yi ; Shimada, Hiromasa ; Kinebuchi, Yuki ; Nakajima, Tatsuo. / Spatial isolation on realtime hypervisor using core-local memory. PECCS 2012 - Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems. 2012. pp. 415-421
    @inproceedings{02460bf9851443f88026a343e6f6c752,
    title = "Spatial isolation on realtime hypervisor using core-local memory",
    abstract = "Recently, the software of embedded systems grows increasingly complicated due to controversial needs of both rich functionalities and strict interrupt responsiveness. In order to deal with it, realtime virtualization technology for embedded systems is attracting interests. Virtualization allows multiple operating systems to run concurrently with minimal modifications, thus reduce the engineering cost. However, as the security of embedded systems getting more concerns in these days, current design of realtime hypervisor often makes it difficult to ensure the security without hardware virtualization support which is not widely available in the world of embedded systems. In this paper, we introduce Secure Pager which utilizes a common hardware design called core-local memory combined with check-sum based protections to enforce the spatial isolation without specific hardware virtualization support.",
    keywords = "Core-local memory, Embedded systems, Hypervisor, Multicore environment, Operating systems, Security, Virtualization",
    author = "Daisuke Yamaguchi and Takumi Yajima and Lee, {Chen Yi} and Hiromasa Shimada and Yuki Kinebuchi and Tatsuo Nakajima",
    year = "2012",
    language = "English",
    isbn = "9789898565006",
    pages = "415--421",
    booktitle = "PECCS 2012 - Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems",

    }

    TY - GEN

    T1 - Spatial isolation on realtime hypervisor using core-local memory

    AU - Yamaguchi, Daisuke

    AU - Yajima, Takumi

    AU - Lee, Chen Yi

    AU - Shimada, Hiromasa

    AU - Kinebuchi, Yuki

    AU - Nakajima, Tatsuo

    PY - 2012

    Y1 - 2012

    N2 - Recently, the software of embedded systems grows increasingly complicated due to controversial needs of both rich functionalities and strict interrupt responsiveness. In order to deal with it, realtime virtualization technology for embedded systems is attracting interests. Virtualization allows multiple operating systems to run concurrently with minimal modifications, thus reduce the engineering cost. However, as the security of embedded systems getting more concerns in these days, current design of realtime hypervisor often makes it difficult to ensure the security without hardware virtualization support which is not widely available in the world of embedded systems. In this paper, we introduce Secure Pager which utilizes a common hardware design called core-local memory combined with check-sum based protections to enforce the spatial isolation without specific hardware virtualization support.

    AB - Recently, the software of embedded systems grows increasingly complicated due to controversial needs of both rich functionalities and strict interrupt responsiveness. In order to deal with it, realtime virtualization technology for embedded systems is attracting interests. Virtualization allows multiple operating systems to run concurrently with minimal modifications, thus reduce the engineering cost. However, as the security of embedded systems getting more concerns in these days, current design of realtime hypervisor often makes it difficult to ensure the security without hardware virtualization support which is not widely available in the world of embedded systems. In this paper, we introduce Secure Pager which utilizes a common hardware design called core-local memory combined with check-sum based protections to enforce the spatial isolation without specific hardware virtualization support.

    KW - Core-local memory

    KW - Embedded systems

    KW - Hypervisor

    KW - Multicore environment

    KW - Operating systems

    KW - Security

    KW - Virtualization

    UR - http://www.scopus.com/inward/record.url?scp=84862147223&partnerID=8YFLogxK

    UR - http://www.scopus.com/inward/citedby.url?scp=84862147223&partnerID=8YFLogxK

    M3 - Conference contribution

    SN - 9789898565006

    SP - 415

    EP - 421

    BT - PECCS 2012 - Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems

    ER -