Formal Analysis of Security Protocols Using Petri Nets

LIU Dao-bin; Guo Li; BAI Shuo

您当前的位置：

首页 >

文章列表页 >

Formal Analysis of Security Protocols Using Petri Nets

更新时间：2025-07-16

- Formal Analysis of Security Protocols Using Petri Nets
- Acta Electronica Sinica Vol. 32, Issue 11, Pages: 1926-1929(2004)
- 作者机构：
  
  中国科学院计算技术研究所软件研究室,北京,100080
- 作者简介：
- 基金信息：
- DOI：
  CLC： TP393.08
- Published：2004
- 稿件说明：
移动端阅览
LIU Dao-bin, Guo Li, BAI Shuo. Formal Analysis of Security Protocols Using Petri Nets[J]. Acta Electronica Sinica, 2004, 32(11): 1926-1929.
DOI：

LIU Dao-bin, Guo Li, BAI Shuo. Formal Analysis of Security Protocols Using Petri Nets[J]. Acta Electronica Sinica, 2004, 32(11): 1926-1929. DOI：

摘要

本文提出了一种基于Petri网的安全协议形式化描述和安全性验证的方法.该方法的特点是

利用逆向状态分析判定协议运行过程中可能出现的不安全状态

利用Petri网的状态可达性分析判断这些不安全状态是否可达.通过实例

我们证明了这种方法的有效性.

Abstract

We propose an approach for the formal modeling and analysis of security properties of cryptographic protocols.Our methodology is based on the idea of backward state analysis and the reachability analysis for Petri nets.By performing the state analysis

we can find out potential insecure states during the run of protocols and determine if these insecure states are reachable by using the state reachability analysis.An example shows that this approach is efficacious.

关键词

Keywords

references

Views

1118

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Proof of the Security of Digital Media Distributing Protocol Based on Petri Net Models

A Supply Chain Modeling Technology Based on RFID Discovery Service

An Approach to Analyzing Dependence of Concurrent Programs Based on Program Reachability Graphs

Soundness Analysis of the Multi-cases Workflow Model Based on Home State

Dining Cryptographer Protocol and Its Engineering Analysis

Related Author

TIAN Li-qin

YIN Hao

LIN Chuang

GUO Ying-jiu

FONT

WANG Li-fu

ZHANG Shi-kun

YUAN Chong-yi

Related Institution

Department of Computer Science and TechnologyTsinghua UniversityBeijing 100084China

Information Engineering SchoolUniversity of Science and Technology BeijingBeijing 100083China

Department of Computer Science and Technology, Tsinghua University

Information Engineering School,University of Science and Technology Beijing

北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室

⁰