首页
|
帮助
|
阅读器下载
|
插件下载
|
登录
中国优秀硕士学位论文全文数据库
非否认协议的UC可靠的形式化验证
【作者】
杨杰
;
【导师】
傅育熙;
【作者基本信息】
上海交通大学
, 计算机科学, 2009, 硕士