基于Petri网的数字媒体分发协议的安全性证明

您当前的位置：

首页 >

文章列表页 >

基于Petri网的数字媒体分发协议的安全性证明

论文 | 更新时间：2025-07-16

上一篇|下一篇

- 基于Petri网的数字媒体分发协议的安全性证明
- Proof of the Security of Digital Media Distributing Protocol Based on Petri Net Models
- 郭迎九，林闯，尹浩，田立勤
- 电子学报 2009年37卷第5期页码：1030-1036
- 作者机构：
  1. 北京科技大学信息工程学院,北京,100083
  2. 清华大学计算机科学与技术系,北京,100084
  3. 北京科技大学信息工程学院北京,100083
  4. 清华大学计算机科学与技术系北京,100084
- 作者简介：
- 基金信息：
  国家自然科学基金 (No.60673184,No.60673187,No.60673054,No.90412012);973计划前期研究专项 (No.2006CB708301);中国移动通信研究院项目和教育部科技创新培育重点项目 (No.707005)
- DOI：
  中图分类号：
- 稿件说明：
移动端阅览
DOI：
DOI：

HTML全文
参考文献
出版信息
数据统计

摘要

Abstract

关键词

Keywords

references

57

浏览量

1224

下载量

0

CSCD

文章被引用时，请邮件提醒。

提交

工具集

BibTeX下载
Endnote下载
RefMan 下载
NoteExpress下载
NoteFirst下载

关联资源

相关文章

基于Petri网的安全协议形式化分析

基于RFID发现服务的一种供应链建模技术

基于家态的多事务工作流完整性分析

Dining Cryptographer安全协议及工程分析

面向集成电路制造的基于Petri网的生产调度

相关作者

白硕

郭莉

刘道斌

FONT

王立福

张世琨

袁崇义

刘殿兴

相关机构

中国科学院计算技术研究所软件研究室

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

北京大学软件工程国家工程研究中心

1.北京大学信息科学技术学院

山东科技大学信息科学与工程学院山东青岛