文献

J-GLOBAL ID：202202233187161518   整理番号：22A0482632

時間付きワークフロープロセスにおけるセキュリティ要求の解析【JST・京大機械翻訳】

Analyzing Security Requirements in Timed Workflow Processes

著者 (4件)： Du Yanhua (School of Mechanical Engineering, University of Science and Technology Beijing, Beijing, China) ,  Wang Yang (School of Mechanical Engineering, University of Science and Technology Beijing, Beijing, China) ,  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  号： 1  ページ： 190-207  発行年： 2022年 
JST資料番号： W1410A  ISSN： 1545-5971  CODEN： ITDSCM  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 多くの注意が,認証政策,例えば,安全特性,生活特性,義務の分離,義務の結合,および基数の制約によって,ワークフロープロセスのセキュリティ要求に払われている。しかしながら,既存の方法は,それらの時間属性とともに,活動と論理的構造の実行条件を無視し,大規模で構造的に複雑なワークフロープロセスのセキュリティ要求をチェックするとき,低効率に悩まし,様々なセキュリティ要求の違反に対する応答として解決策を提供しない。したがって,既存の方法は,そのようなワークフロープロセスの絶対セキュリティと円滑な実行を保証することができない。本論文では,タイムドワークフロープロセスにおけるセキュリティ要件を解析するためのセキュリティチームタイムドオートマトン(STTA)ベースアプローチを提案した。第1に,著者らは,認証政策を有するタイムドワークフロープロセスのためのSTTAを構築した。第二に,セキュリティ要求をSTTAに基づいて自動的に検証した。第3に,2つの効果的戦略に基づいて,著者らは,もしあれば,セキュリティ要求に違反する解決策を提供した。既存の方法と比較して,著者らの方式は,時間化されたワークフロープロセスのための5つの一般的視点と頻繁に採用されるセキュリティ要求を形式的に記述して,分析することができ,検証のためにそれらの時間的および空間的複雑性を劇的に減少するだけではなく,また,ワークフロープロセスのセキュリティ管理を実装するように,セキュリティ要求の違反に対する解決策を提供した。Copyright 2022 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 安全管理 ,  セキュリティ ,  認証 ,  *ワークフロー
準シソーラス用語： 基数 ,  複雑性 ,  セキュリティ要件 , 【Automatic Indexing@JST】

分類 (3件)： 図形・画像処理一般  (JE04010I) ,  無線通信一般  (ND08010L) ,  データ保護  (JD01020V)

タイトルに関連する用語 (4件)： ワークフロー ,  プロセス ,  セキュリティ ,  解析