2. 您的位置
3. 首页
4. 学位论文
5. 安全协议形式化自动验证工具AVISPA的研究

安全协议形式化自动验证工具AVISPA的研究

来源 :吉林大学 | 被引量 : 0次 | 上传用户：vlon126

【作 者】

：

赵国威 

【出 处】

：

吉林大学

【发表日期】

：

2018年09期

下载到本地 , 更方便阅读

下载此文 赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

试谈大数据时代下征信市场的发展

报纸

社会工作介入城市留守青少年抗逆力提升研究——以甘肃省P学校为例

学位

云计算中资源分配策略研究

学位

IMS网络中3A服务系统的设计与实现

学位

华夏电子购物藏装商务系统的设计与实现

学位

信息集成技术的研究及应用

学位

芬兰职业教育的教师教育

期刊

自闭特质与自杀意念的关系:述情障碍与抑郁的中介作用网络首发

期刊

大一新生人际交往辅导教案设计与干预研究

期刊

基于Cacti开源软件的校园网可视化监控平台的设计与实现

学位