Role-Based access control consistency validation Centonze, Paolina; Naumovich, Gleb; Fink, Stephen J. ...
International Symposium on Software Testing and Analysis: Proceedings of the 2006 international symposium on Software testing and analysis; 17-20 July 2006,
07/2006
Conference Proceeding
Open access
Modern enterprise systems support Role-Based Access Control (RBAC). Although RBAC allows restricting access to privileged operations, a deployer may actually intend to restrict access to privileged ...data. This paper presents a theoretical foundation for correlating an operation-based RBAC policy with a data-based RBAC policy. Relying on a location consistency property, this paper shows how to infer whether an operation-based RBAC policy is equivalent to any databased RBAC policy. We have built a static analysis tool for Java Platform, Enterprise Edition (Java EE) called Static Analysis for Validation of Enterprise Security (SAVES). Relying on interprocedural pointer analysis and dataflow analysis, SAVES analyzes Java EE bytecode to determine if the associated RBAC policy is location consistent, and reports potential security flaws where location consistency does not hold. The experimental results obtained by using SAVES on a number of production-level Java EE codes have identified several security flaws with no false positive reports.
筆者等は藤本幸夫前富山大学人文学部教授が蓄積してきた日本現存朝鮮古書に関する28項目の書誌情報をデータベース化し,DOKB(Database of Old Korean Books in Japan)と名付けて,インターネット上に公開するWebDBシステムを開発,運用,改良を行ってきた.現在,集部約3,000件のデータを公開中である.近年,Google Maps/Google ...Suggest等で使用されたAjax技法は,DB検索環境や検索において有用なツールとして応用できることから,この技法を用いたUnicode入力支援ツール,検索語類推支援ツールおよび古書の原文画像DB検索システムの開発を試みた.更に,Javaフレームワークを使用して,DOKBマスター・データの入力,更新などを行う管理ツールと刻手名に関するデータベース・システム「KOKUSHU」の開発を行った.本論文ではAjax技法の古書および古文書関連データベースへの適用の有用性と,JavaフレームワークによるWebDBアプリケーション・システム開発における有用性と高生産性を提案する.