Software synthesis for trade-off design. - Akiyoshi Sato; Masato Miki; Toru Yamanouchi; Masanobu Watanabe (KBSE, 1996)

Evaluation of Effectiveness of MAC Systems Based on LSM for Protecting IoT Devices. - Masato Miki; Toshihiro Yamauchi; Satoru Kobayashi (candar, 2023)

Effectiveness of MAC Systems based on LSM and their Security Policy Configuration for Protecting IoT Devices. - Masato Miki; Toshihiro Yamauchi; Satoru Kobayashi (J. Internet Serv. Inf. Secur., 2024)