下载 >  课程资源 >  专业指导 > 模型检测 形式化分析 安全协议 相关论文

模型检测 形式化分析 安全协议 相关论文 评分:

模型检测 形式化分析 安全协议相关论文,小弟最近在研究这个,与同行共享~
2008-10-28 上传大小:26.89MB
分享
收藏 举报

评论 共1条

dogliu2013 关于安全方面与模型检测方面的基础文章,综述性文章,不错!
2014-06-25
回复
网络协议形式化分析与设计

网络协议的形式化分析与设计 古天龙 2003 计算机网络及数据通信是当今信息社会的基石,网络协议则是其中不可缺少的重要组成部分。形式化方法与技术已经渗透到网络协议开发的整个过程

立即下载
论文安全协议形式化说明、设计及验证》

论文《安全协议的形式化说明、设计及验证》

立即下载
协议形式化相关论文

收集的协议形式化的相关论文,总共57篇,希望对别的同学了解协议形式化有所帮助

立即下载
安全协议形式化分析

形式化分析、安全协议分析

立即下载
安全协议形式化的课程教案

有关网络安全协议形式化分析的课程ppt教案,包含安全协议的基本概念、形式化分析方法和工具的概述

立即下载
安全协议形式化分析理论与方法研究综述

安全协议形式化分析理论与方法研究综述,学术论文

立即下载
软件形式化方法 有限状态机

软关于有限状态机的件形式化方法 ,包括模型检测,外文论文打包。

立即下载
形式化分析工具Scyther软件的说明手册

形式化分析的工具Scyther软件的说明手册,可以对工业协议和安全加密的协议进行形式化分析

立即下载
论文形式化协议性能测试框架》

论文《形式化的协议性能测试框架》

立即下载
形式化方法论文集合

有关形式化方法著名论文的集合,由日本九州大学的教授整理的

立即下载
图像处理算法论文

基础图像处理算法

立即下载
安全协议分析形式化理论与方法

研究生论文-安全协议分析的形式化理论与方法

立即下载
论文《基于形式化方法的协议测试理论》

论文《基于形式化方法的协议测试理论》

立即下载
我的毕业论文

硕士毕业论文安全协议 形式化方向

立即下载
PAT——一种高性能软件验证工具

通信顺序进程(communicating sequential proces)验证软件,打开csp格式文件的软件,对开发的软件进行验证的高性能工具。

立即下载
谭晓生:基于大数据分析的网络攻击检测

在第六届中国云计算大会安全论坛上,360公司首席隐私官、副总裁谭晓生在演讲“基于大数据分析的网络攻击检测”介绍了如何用云计算技术解决安全问题。360作为安全公司是被别人攻击的重点,作为一个安全公司如果说你被别人渗透过来,恶意的样本被加载等等影响是非常大的,甚至会关系到国家安全层面的东西。

立即下载
基于有色Petri网模型安全协议检测方法

基于有色Petri网模型的安全协议检测方法

立即下载
Ice协议形式化分析

ice中间件是一个和CORBA同样强大却摒除了CORBA的缺陷的分布式对象平台, 它为异构环境下的应用开发提供了一种新的方式。ICE协议定义了客户和服务器通信的规则。本文使用Pi演算描述分析ICE协议, 从交互过程和协议实体两方面对协议进行了刻画, 揭示其并发、 分布的对象计算特征。

立即下载
IM协议安全相关论文

0 引言 2006年中国互联网信息中心CNN IC调查显示,我国即时 通信( InstantMessaging, IM)活跃用户占网民总数的59. 8% , IM在人们的日常联系中发挥着越来越大的作用。但IM系统 同时存在极大的安全隐患,其面临的主要威胁有:窃听、账号 假冒与口令破解、蠕虫病毒传播等[ 1 ] 。主要IM服务提供商 在系统设计时多以实用性为目的,较少考虑安全性问题。为 了有效保护用户的敏感信息,需要对IM进行安全性设计。 目前,针对主流IM安全问题的解决方案主要是通过SSL 方式实现客户端到服务器的认证和加密通信[ 2 ] ,尚未有效地 解决客户端之间的身份认证、消息加密与消息

立即下载
物联网的相关研究论文

物联网涉及众多领域,首先解析了物联网的基本概念和特征,对比分析了物联网与传感器网络、泛在网络、机 器对机器通信以及计算物理系统等概念的关系;其次介绍了国际电信联盟(ITU)提出的泛在传感器网络(USN)体 系结构,提出了物联网体系架构的研究建议;然后归纳了物联网涉及的关键技术,给出了物联网技术体系模型;最 后总结了物联网标准化发展现状,并提出了物联网标准化发展建议.

立即下载

热点文章

img

spring mvc+mybatis+mysql+maven+bootstrap 整合实现增删查改简单实例.zip

资源所需积分/C币 当前拥有积分 当前拥有C币
5 0 0
点击完成任务获取下载码
输入下载码
为了良好体验,不建议使用迅雷下载
img

模型检测 形式化分析 安全协议 相关论文

会员到期时间: 剩余下载个数: 剩余C币: 剩余积分:0
为了良好体验,不建议使用迅雷下载
VIP下载
您今日下载次数已达上限(为了良好下载体验及使用,每位用户24小时之内最多可下载20个资源)

积分不足!

资源所需积分/C币 当前拥有积分
您可以选择
开通VIP
4000万
程序员的必选
600万
绿色安全资源
现在开通
立省522元
或者
购买C币兑换积分 C币抽奖
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
为了良好体验,不建议使用迅雷下载
确认下载
img

资源所需积分/C币 当前拥有积分 当前拥有C币
3 0 0
为了良好体验,不建议使用迅雷下载
VIP和C币套餐优惠
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
您的积分不足,将扣除 10 C币
为了良好体验,不建议使用迅雷下载
确认下载
下载
您还未下载过该资源
无法举报自己的资源

兑换成功

你当前的下载分为234开始下载资源
你还不是VIP会员
开通VIP会员权限,免积分下载
立即开通

你下载资源过于频繁,请输入验证码

您因违反CSDN下载频道规则而被锁定帐户,如有疑问,请联络:webmaster@csdn.net!

举报

  • 举报人:
  • 被举报人:
  • *类型:
    • *投诉人姓名:
    • *投诉人联系方式:
    • *版权证明:
  • *详细原因: