共查询到20条相似文献,搜索用时 250 毫秒
1.
2.
重新定义了串空间理想概念,并扩展了有关命题和定理,从而使串空间理论能分析包含丰富密码原语的安全协议,进一步应用此扩展串空间理论分析JFK协议(一个新提出的IPsec密钥交换协议)的桉心安全属性:秘密性和认证性.通过分析证明了JFK协议的密钥和认证安全性,对JFK的分析也为扩展串空间理论的广泛应用打下了一个坚实的基础. 相似文献
3.
串空间模型是一种新兴的密码协议形式化分析工具,其理论中理想和诚实概念的提出大大减少了协议的证明步骤。首次利用串空间理论从机密性和认证性两个方面对Yahalom-Paulson协议进行了分析。分析结果证明该协议是安全的。 相似文献
4.
为了研究Adhoc移动网络路由协议安全性的分析方法,采用串空间理论对Adhoc移动网络路由协议的安全目标进行了形式化描述,提出了Adhoc移动网络路由协议的形式化分析方法,并采用该方法对安全路由协议SRP的安全性进行验证,结果发现了安全路由协议SRP的一个安全漏洞,说明采用串空间理论对Adhoc移动网络路由协议安全性进行分析是有效的。 相似文献
5.
杨杰 《电脑编程技巧与维护》2010,(4):110-110,113
运用串空间这一前沿的安全协议形式化分析方法,对kerberos协议的安全性进行了分析,得出了协议满足认证性和机密性的结论,并给出了一种新的kerberos协议的形式化证明方法,扩展了串空间理论在实用协议分析方面的应用。 相似文献
6.
7.
从串空间模型理论人手,提出了三种典型的串空间形式化方法(基于极小元理论的串空间方法、基于理想与诚实理论的串空间方法、基于认证测试理论的串空间方法),并对每一种方法的证明步骤及优缺点进行了分析。在此基础上,应用提出的串空间方法对Yahalom协议的秘密性和认证性进行了分析。分析结果表明利用不同方法的优点,能更好地保证安全协议形式化分析的准确性。 相似文献
8.
Helsinki协议是ISO/IEC DIS 11770-3 中提出的重要认证协议,由于协议受到来自内部的攻击,Mithcell-Yeun对其进行了改进.但改进后协议的安全性仍未得到确认,为了验证改进协议是否满足其安全目标,利用串空间模型对协议进行了建模和分析.通过分析极小元所在串与其它串的关系说明协议的一致性,通过对理想的分析说明协议的保密性.结果表明改进型协议满足其安全要求,原协议存在安全缺陷的原因是最小元可能存在M1串上,这为 Mithcell-Yeun的改进提供了理论的证明与依据. 相似文献
9.
串空间模型是一种新兴的密码协议形式化分析工具,其理论中理想和诚实概念的提出大大减少了协议的证明步骤.首次利用串空间理论从机密性和认证性两个方面对Neuman-Stubblebine协议进行了分析.分析结果证明该协议是安全的,而且理想对公开密钥算法和对称密钥算法产生的协议的分析都是有效的. 相似文献
10.
11.
This paper investigates the consensus problem for multi‐agent systems and presents a class of nonlinear consensus protocols. First, we reveal some structure property of the corresponding Laplacian matrix by decomposing the interaction graph into strongly connected components. Then, by means of the input‐to‐state stability and algebraic graph theory, we propose a framework to prove consensus for multi‐agent systems with nonlinear protocols. In particular, we prove that consensus can be always reached in systems of single‐integrator agents with a directed communication topology containing a spanning tree, provided the nonlinear protocol is an odd and increasing function. The nonlinear consensus protocols proposed in this paper include the classical linear consensus protocol as a special case, and may have a wide range of applications, including consensus with faster convergence rates and with bounded control inputs. Copyright © 2012 John Wiley & Sons, Ltd. 相似文献
12.
13.
This paper investigates the fnite-time consensus problem of multi-agent systems with single and double integrator dynamics,respectively.Some novel nonlinear protocols are constructed for frst-order and second-order leader-follower multi-agent systems,respectively.Based on the fnite-time control technique,the graph theory and Lyapunov direct method,some theoretical results are proposed to ensure that the states of all the follower agents can converge to its leader agent s state in fnite time.Finally,some simulation results are presented to illustrate the efectiveness of our theoretical results. 相似文献
14.
15.
In this paper, robust containment problem is investigated for a class of multi‐leader multi‐agent linear systems in the presence of time‐varying uncertainties. To achieve containment, a new kind of adaptive containment protocols are proposed for the multi‐agent systems. Specifically, the designed protocols consist of a continuous linear term and a discontinuous term. The linear term of the designed protocol is employed to achieve containment while the discontinuous term is utilized to eliminate the effect of uncertain dynamics on the achievement of containment. By using tools from non‐smooth analysis and algebraic graph theory, some efficient criteria for achieving robust containment in the closed‐loop multi‐agent systems are obtained and analyzed. One favorable property of the designed protocol is that containment in the closed‐loop multi‐agent systems can be achieved in a fully distributed fashion over any given connected and detail‐balanced communication graph without using any global information about the communication graph. The effectiveness of the analytical results is finally verified by performing numerical simulations. Copyright © 2016 John Wiley & Sons, Ltd. 相似文献
16.
This paper considers the issue of cluster consensus for multiple agents in fixed and undirected networks. Agents in a network are supposed to split into several clusters, and a fraction of the agents in each cluster are pinned by virtual leaders. According to the Lyapunov stability theory and graph theory, some appropriate event‐triggered protocols are developed for consensus of the agents belonging to the same cluster, which can greatly reduce both the number of communication updates and that of control actuation updates. Finally, a numerical example is shown to demonstrate the effectiveness of the proposed theoretical results. 相似文献
17.
18.
19.
In this paper, the finite-time output consensus problem of multi-agent systems is considered by using the iterative learning control (ILC) approach. Two classes of distributed protocols are constructed from the two-dimensional system point of view (with time step and iteration number as independent variables), and are termed as iterative learning protocols. If learning gains are chosen appropriately, then all agents in a directed graph can be enabled to achieve finite-time consensus with the iterative learning protocols. Moreover, all agents in a directed graph can be guaranteed to reach finite-time consensus at any desired terminal output if the iterative learning protocols are improved by introducing the desired terminal output to some (not necessarily all) of the agents. Simulation results are finally presented to illustrate the performance and effectiveness of our iterative learning protocols. 相似文献