文献

J-GLOBAL ID：201702228294095850   整理番号：17A1397777

スマート識別子ネットワークにおける分離機構のためのPetriネットに基づくセキュリティ解析【Powered by NICT】

Security Analysis Based on Petri Net for Separation Mechanisms in Smart Identifier Network

著者 (4件)： Yao Linyuan ,  Dong Ping ,  Du Xiaojiang ,  Zhang Hongke
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： ICCCN  ページ： 1-6  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： スマート識別子ネットワーク(SINET)における広範な研究のために,そのセキュリティは最近多くの注目を集めている。しかし,これらの方法の大部分は特異的攻撃の観点からSINETセキュリティを考察した。著者らの知る限り,何れもが今までにSINETにおける分離機構のセキュリティ解析とモデリングに注意を払っていない。そこで本論文では,Petriネットに基づくセキュリティ解析への異なるアプローチを提供する。著者らの目的は,モデルと状態の組合せによる分離機構セキュリティを分析することである。この方法はPetriネットの方法による移動ネットワーク構造と状態を表している。さらに,潜在的な脅威を調査するために,トークンのセキュリティ解析法を紹介した。最後に,Petriネットにおけるトークンの数,論理,時系列の組合せによるSINETを解析し,結果を提示した。著者らの結果は,このようなセキュリティ目的を達成するためにそのようなモデルを用いて非常に有望である。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： *Petriネット ,  *安全解析 ,  トークン ,  *ネットワーク ,  *セキュリティ ,  モデリング
準シソーラス用語： モバイルネットワーク ,  *識別子 , 【Automatic Indexing@JST】

分類 (4件)： グラフ理論基礎  (IA02020S) ,  計算機システム開発  (JD02010R) ,  計算理論  (JB02000A) ,  システムモデル  (IB02000Z)

タイトルに関連する用語 (3件)： 識別子 ,  Petriネット ,  セキュリティ解析