文献

J-GLOBAL ID：202202231994140541   整理番号：22A0562859

サイバー-物理-社会空間のためのアクセス制御ポリシーの仕様と適応検証【JST・京大機械翻訳】

Specification and adaptive verification of access control policy for cyber-physical-social spaces

著者 (5件)： Cao Yan (XuChang University, XuChang 461000, China) ,  Ping Yuan (XuChang University, XuChang 461000, China) ,  Tao Shaohua (HeNan General Hospital, ZhengZhou 450002, China) ,  Chen YongGang (XuChang University, XuChang 461000, China) ,  Zhu YanXia (HeNan General Hospital, ZhengZhou 450002, China)
資料名： Computers & Security  (Computers & Security)
巻： 114  ページ： Null  発行年： 2022年 
JST資料番号： E0995A  ISSN： 0167-4048  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： Cyber-Physical-Social Space(CPSS)は,サイバースペース,物理空間,および社会空間の深い融合を強調することによって,知的環境を有する人々を提供する有望なパラダイムである。これらの空間の相互依存性により,CPSSは攻撃される可能性が高い。攻撃結果は物理的世界の状態に直接影響し,人々の生活を危険にさらす。したがって,CPSSのための最も挑戦的な問題は,空間セキュリティを確実にすることである。しかしながら,既存のセキュリティ解析法は,設計段階で静的解析に焦点を合わせる。それらは,CPSSのコア特徴であるオープンおよび動的特性を考慮していない。本論文では,CPSSに対する適応セキュリティ解析フレームワークを提案し,情報の無許可フローを防止する。最初に,CPSSのアクセス制御モデルを提案した。それは,社会的,サイバー,および物理的空間をカバーする空間情報を考慮することによって,アクセス行動を制御する。第二に,ラベル付き遷移システム(LTS)を確立して,CPSSの将来の発展を記述した。セキュリティ要求を破るLTSの空間状態は,モデル検査技術によって推論される。第3に,ポリシー調整法を提案して,違反状態に入るか,または違反によって引き起こされた悪い結果を緩和する。最後に,著者らのアプローチの有効性をスマート建築事例によって評価し,著者らのアプローチの必要性を性能評価によって解析した。Copyright 2022 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 情報 ,  モデリング ,  空間 ,  安全解析 ,  有効性 ,  *アクセス制御 ,  性能評価 ,  セキュリティ ,  遷移システム ,  仮想空間 ,  サイバー攻撃
準シソーラス用語： 空間情報 ,  静的解析 ,  相互依存性 ,  知的環境 , 【Automatic Indexing@JST】

著者キーワード (5件)： サイバー-物理-社会空間 ,  アクセス制御 ,  セキュリティ解析 ,  モデリング検査 ,  調整戦略

分類 (1件)： データ保護  (JD01020V)

タイトルに関連する用語 (6件)： 物理 ,  社会 ,  アクセス制御 ,  仕様 ,  適応 ,  検証