文献

J-GLOBAL ID：201402221162584420   整理番号：14A0339272

サイバーフィジカルシステムにおける不干渉の解析

Analysis of Non-interference in Cyber-physical Systems

著者 (4件)： WANG Jingming (East China Univ. Sci. and Technol., Shanghai, CHN) ,  WANG Jingming (Chuzhou Univ., Anhui, CHN) ,  YU Huiqun (East China Univ. Sci. and Technol., Shanghai, CHN) ,  SUN Xiaoxing (East China Univ. Sci. and Technol., Shanghai, CHN)
資料名： Information (Koganei)  (Information (Koganei))
巻： 16  号： 12(A)  ページ： 8309-8314  発行年： 2013年12月 
JST資料番号： L7416A  ISSN： 1343-4500  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 英語 (EN)

抄録/ポイント： 近年,サイバーフィジカルシステム(CPS)の分野で重要なシステム設計が進んでいる。CPSの情報機密の解析と評価の難しさは,複雑なCPSを構成するための幾つかの小さいシステムの使用によって効果的に解決できる。本論文は,先ず,セキュリティプロセス代数(SPA)と縦続およびフィードバック構成を精密化した。次に,SPAに基づく不干渉モデルを定義した。そして,CPSにおける不干渉特性と不干渉の縦続およびフィードバック構成を解析し検証した。(翻訳著者抄録)

シソーラス用語： システム ,  *センサネットワーク ,  データ保護 ,  *情報セキュリティ ,  プロセス代数 ,  フィードバック系 ,  *干渉 ,  パイプライン
準シソーラス用語： ガスパイプライン ,  *サイバーフィジカルシステム ,  情報秘匿 ,  *不干渉

分類 (2件)： 計算機網  (JC03000K) ,  データ保護  (JD01020V)

引用文献 (6件)：

• E. A. Lee, Cyber Physical Systems: Design Challenges, UCB/EECS-2008-8, EECS Department, University of California, Berkeley, (2008).
• R. Focardi and R. Gorrieri, The Compositional Security Checker: a tool for the verification of information flow security properties. IEEE Transactions on Software Engineering. 23, 9 (1997), pp. 550-571
• Mehdi Hussain and M. Hussain, A high bandwidth covert channel in network protocol, International Journal of Advanced Science and Technology. 30 (2011), pp. 1-12.
• J. A. Goguen and J. Meseguer, Security Policies and Security Models, Proceedings of the 1982 IEEE Computer Society Symposium on Research in Security and Privacy, IEEE Computer Society Press, (1982), pp. 11-20.
• R. Akella, H. Tang and B.M. McMillin, Analysis of information flow security in cyber-physical systems. International Journal of Critical Infrastructure Protection. 3, 3-4 (2010), pp. 157-173

タイトルに関連する用語 (3件)： サイバーフィジカルシステム ,  不干渉 ,  解析