QQ客服 官方微博 反馈留言

题名	基于模型检测的AppSec协议的形式化验证与改进
作者	白雪娇
答辩日期	2016
导师	侯迪
关键词	模型检测 AppSec协议 Spin Promela LTL 协议改进
学位名称	工学硕士
URL标识	查看原文
内容类型	学位论文
URI标识	http://www.corc.org.cn/handle/1471x/2961957
专题	西安交通大学
推荐引用方式 GB/T 7714	白雪娇. 基于模型检测的AppSec协议的形式化验证与改进[D]. 2016.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。