基于应用π演算的可信平台模块的安全性形式化分析

文件格式： PDF文档

文件大小： 776.46 KB

资源类别：计算机

关键词：演算模块可信基于平台

进入标准下载页面

本资源下载需 1 点

论文简介

基于应用π演算的可信平台模块的安全性形式化分析

相关推荐