文献类型：期刊文献

英文题名：Petri nets based modeling and analysis of UPnP security ceremonies

作者：Zheng, Hong[1,2]; Li, Chunfang[2]; Chen, Zhihua[1]

机构：[1] School of Information Science and Engineering, East China University of Science and Technology, Shanghai, 200237, China; [2] Shanghai Key Laboratory of Computer Software Evaluating and Testing, Shanghai, 200235, China

年份：2011

外文期刊名：Proceedings - PACCS 2011: 2011 3rd Pacific-Asia Conference on Circuits, Communications and System

收录：EI(收录号：20113814345284)

语种：英文

外文关键词：Formal methods

摘要：UPnP is a universal plug and play technology which is widely used in the digital family network. The UPnP security ceremonies expend the UPnP technology to meet the important security requirement. This paper introduces a formal method named the Petri Net, using its advantage such as intuitive graphical representation and rigorous mathematical theory to model the security control of the UPnP security ceremonies. This paper simulates the security control in actual security system, using occurrence step and transition sequence of Petri Net model to analyze the accessibility of model and verify the non-repudiation and security of system. ? 2011 IEEE.