Proximity-Based Federation of Smart Objects: Its Application Framework for Complex Secure Federation Scenarios
Proximity-Based Federation of Smart Objects: Its Application Framework for Complex Secure Federation Scenarios
复制标题
基于邻近的智能对象联邦：复杂安全联邦场景的应用框架
DOI：
10.1007/978-3-030-44900-1_6
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Yuzuru Tanaka
中科院分区：
文献类型：
--
作者：
Kobayashi;R. and Ishizaki;M.;伝 康晴;山本賢太・井上昂治・中村静・高梨克也・河原達也;Yuzuru Tanaka
本文首先着重于复杂的应用场景的形式化建模，使用自主的基于邻近的智能对象之间的联邦与无线网络连接，然后在一个新的框架复杂的安全联邦的情况下。我们的建模包括三个不同的层次。在第一级建模中，每个智能对象被建模为一组端口，每个端口代表一个I/O接口，用于该智能对象的功能与另一个智能对象的某个功能进行互操作。具有一对极性相反的相同类型端口的一对智能对象之间的联合被建模为这两个端口之间的端口匹配。第二层建模将智能对象间联邦结构的动态变化描述为一个图重写系统，每个节点和每个有向链路分别代表一个智能对象和两个智能对象之间的连接。第三级建模使用二进制自催化反应网络来描述每个复杂的联盟场景，其中涉及一个以上的联盟，并且反应的输出联盟可以作为另一个反应的输入联盟和/或催化剂来激活另一个合成或分解反应。本文在作者提出的这些模型的基础上，提出了一个新的简化的应用框架，用于实现任何复杂的可描述为二进制自催化反应网络的应用场景作为智能对象的图重写系统，并提出了一个新的框架级智能对象安全联邦解决方案，其独立于用于两个智能对象之间的安全通信的基于预防的技术。
This paper focuses first on the formal modeling of complex application scenarios using autonomic proximity-based federation among smart objects with wireless network connectivity, and then on a new framework for complex secure federation scenarios. Our modeling consists of three different levels. In the first-level modeling, each smart object is modeled as a set of ports, each of which represents an I/O interface for a function of this smart object to interoperate with some function of another smart object. The federation between a pair of smart objects having a pair of ports of the same type with opposite polarities is modeled as the port matching between these two ports. The second-level modeling describes the dynamic change of the federation structure among smart objects as a graph rewriting system, where each node and each directed link respectively represent a smart object and a connection between two smart objects. The third-level modeling uses a binary autocatalytic-reaction network to describe each complex federation scenario in which more than one federation are involved, and an output federation of a reaction may work either as an input federation of another reaction and/or a catalyst to activate another composition or decomposition reaction. Based on these models previously proposed by the current author, this paper proposes a new simplified application framework for implementing any complex application scenario describable as a binary autocatalytic-reaction network as a graph rewriting system of smart objects, and then proposes a new framework-level solution to the secure federation of smart objects, which is independent from the encryption-based technologies for secure communication between two smart objects.