Automatic Analys is and Generation Methods for Language-based Access Control

点击翻译按钮获取中文摘要

We defined the automatic generation problem as the one to insert access check commands into a given recursive program so that the program satisfies a given security specification. First, the problem was shown to be co NP-hard. Next, we proposed an algorithm solving the automatic generation problem based on PDS model checking. We also showed that the proposed algorithm works efficiently for sample programs based on the experiments conducted on the automatic generation tool.