文献

J-GLOBAL ID：202202262358806172   整理番号：22A0959655

ビジネスプロセスにおけるセキュリティ要求の動的実装【JST・京大機械翻訳】

Dynamic Implementation of Security Requirements in Business Processes

著者 (2件)： Yang Benyuan (School of Electro-Mechanical Engineering, Xidian University, Xi’an, Shaanxi, China) ,  Hu Hesuan (School of Electro-Mechanical Engineering, Xidian University, Xi’an, Shaanxi, China)
資料名： IEEE Transactions on Dependable and Secure Computing  (IEEE Transactions on Dependable and Secure Computing)
巻： 19  号： 2  ページ： 1352-1363  発行年： 2022年 
JST資料番号： W1410A  ISSN： 1545-5971  CODEN： ITDSCM  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： デューティー(SoD)の分離はビジネスプロセス管理におけるセキュリティ要件の重要なクラスである。それらの違反は,システム誤用と不正をもたらし,経済的損失または法的含意をもたらす。したがって,ビジネスプロセスがすべてのSoDを満たすことを確実にすることは極めて重要である。既存の研究は,通常,SoDを検証するためにモデル検査を採用する。しかし,ワークフローとSoDの両方を同時に説明する公式モデルの構築は,時間がかかり,誤差が容易な活動である。本論文では,Petriネット(PN)を用いてビジネスプロセスにおけるSoDを指定し,強化する新しいアプローチを提案した。最初に,PNsの構造とマーキングの観点からSoD違反のための必要十分条件を導いた。SoD制約は,線形不等式として書かれた制約で,あるマーキングに到達するためのプロセスを解けることにより実行できることを示した。次に,著者らは,線形不等式に基づいて,オフラインとリアルタイム方式でSoDを強制する監視装置を設計した。一方,不等式解析を監督者の構造単純さのために提供した。最後に,著者らのアプローチの複雑性解析と文献における研究との比較を行い,著者らの有効性と効率を説明した。Copyright 2022 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 誤差 ,  *不等式 ,  関税 ,  監督者 ,  マーキング ,  監視装置 ,  モデル ,  Petriネット ,  性質 ,  セキュリティ ,  ワークフロー ,  モデル検査 ,  含意
準シソーラス用語： *ビジネスプロセス ,  複雑性 ,  必要十分条件 , 【Automatic Indexing@JST】

分類 (1件)： 信号理論  (ND02020G)

タイトルに関連する用語 (4件)： ビジネス ,  プロセス ,  セキュリティ ,  実装