没有合适的资源?快使用搜索试试~
我知道了~
文库首页
安全技术
网络攻防
基于进程代数安全协议验证的研究综述
基于进程代数安全协议验证的研究综述
进程代数
安全协议
5星
· 超过95%的资源
需积分: 9
29 下载量
40 浏览量
2008-11-19
10:31:13
上传
评论
收藏
348KB
PDF
举报
温馨提示
立即下载
基于进程代数安全协议验证的研究综述论文,别人推荐给我的
资源推荐
资源评论
基于安全进程代数的信息流安全模型的分析与验证 (2012年)
浏览:63
基于信息流的安全模型相对于基于访问控制的安全模型就刻画安全的性质而言更为本质。在安全进程代数统一框架下描述并形式化定义6种信息流安全模型,并且基于迹语义分析其逻辑蕴含关系,进一步对基于安全进程代数的6种信息流安全模型给出验证算法,并开发出验证工具,最后通过实例说明了该验证工具的使用。
论文研究-基于进程代数的构件动态演化行为一致性研究.pdf
浏览:126
为了保证构件在动态演化时的行为一致性,提出了一种基于进程代数的构件模型,形式化描述了构件及其对外交互协议,引入了对外主动请求接口和内部连接,并给出了行为一致性验证的规则和相关定理;然后给出了验证算法;最后,通过一个构件化系统的实例来说明所提出方法的可行性。
论文研究-基于进程代数的网络体系结构形式化模型.pdf
浏览:187
流量分配是影响并行入侵检测系统实时性的重要因素。首先提出了一种以局部时间内探测节点的负载平衡为目标,综合考虑探测节点的负载和处理能力的动态流量分配策略;然后通过引入负载平衡的粒度、益处估计,提出了一种动态负载平衡策略,达到了全局时间内探测节点的负载平衡;最后通过实验分析表明该策略是有效的。
大数据-算法-基于多项式符号代数的数字电路形式验证方法研究.pdf
浏览:182
大数据-算法-基于多项式符号代数的数字电路形式验证方法研究.pdf
进程代数的历史,介绍进程代数的发展过程
浏览:109
进程代数的历史这本书介绍了进程代数的产生发展过程,对学习进程代数和研究安全协议的人很有用。
安全进程代数基础
浏览:53
安全进程代数基础
基于进程代数的Web服务合成的替换分析
浏览:195
基于进程代数的Web服务合成的替换分析,Process algebra.
一种基于进程代数的路由器性能评价算法.pdf
浏览:198
一种基于进程代数的路由器性能评价算法.pdf
进程代数入门教材
浏览:199
4星 · 用户满意度95%
进程代数是关于通信并发系统的代数理论的统称。... A.R,分别提出了通信系统演算和通信顺序进程,开创了用代数方法研究通信并发系统的先河。本文是进程代数入门教材,学习并发系统建模的必备知识。
论文研究-可信链的随机进程代数模型.pdf
浏览:113
该模型在随机进程代数的语法中扩展了完整性属性和完整性度量概率,建立了信任传递的语义规则,并提出了基于随机进程代数的可信链语义模型。该模型对于进一步研究可信链和计算终端的完整性具有一定的参考价值。
进程代数入门(第二版)
浏览:43
5星 · 资源好评率100%
Springer出版的进程代数第二版 2007年 原版
进程代数的课件 讲得比较精简
浏览:140
4星 · 用户满意度95%
进程代数的课件,主要是针对Introduction to Process Algebra这本书的
进程代数ppt介绍(英语)
浏览:76
一个进程代数的ppt Jos Baeten, TU/e 外文资料
图灵奖得主托尼·霍尔(Tony Hoare)进程代数.rar
浏览:117
一个ppt,一个英文pdf,对于进程代数的了解有点帮助!
论文研究-基于代数语义的反射系统研究 .pdf
浏览:83
基于代数语义的反射系统研究,滕冀,,本文介绍了反射和反射系统的基本概念,代数语义的一些基本定义,并在代数语义定义的基础上, 形式化地描述了反射的语义。同时在�
基于代数特征的人脸识别研究
浏览:174
随着科学技术的进步,计算机及网络技术的高速发展,信息的安全性、隐蔽 性越来越受到重视,如何有效、快速方便地进行身份验证和识别,己经成为人们 日益关注的问题。通常,密码(包括口令等)或身份证是人们进行身份...
基于李代数表征的三维物体空间姿态检测
浏览:8
利用卷积神经网络学习并预测二维图像中三维物体的姿态信息,提出一种基于李代数的三维物体姿态表征方式。为了仅利用二维图像来准确预测三维姿态信息,采用李群和李代数将三维物体姿态分解为平移和旋转向量,姿态向量...
基于关系代数理论的关联规则挖掘算法ORAR
浏览:107
基于关系代数理论的关联规则挖掘算法ORAR
冰河的渗透实战笔记-冰河.pdf
浏览:101
5星 · 资源好评率100%
冰河整理的全网首个开源的以实战案例为背景的渗透实战笔记,全书共442页,共计37万字(不计空格)。整本书的内容涵盖:Kali基础、渗透工具、木马制作、钓鱼链接生成、爆破密码、内存溢出攻击、web渗透、数据提权、社会工程学。
大灰狼远控2021最新版,解压密码222
浏览:30
3星 · 编辑精心推荐
大灰狼远控2021最新版,解压密码222
J-LINK V10 V11固件.rar
浏览:195
3星 · 编辑精心推荐
用于重新更新jlink v10和v11的固件文件,亲测可用
ISO21434.pdf
浏览:182
5星 · 资源好评率100%
ISO21434 2021-8 月最新版国际汽车信息安全标准,流程标准,ISO26262
Web安全漏洞扫描工具-AWVS14
浏览:174
5星 · 资源好评率100%
AWVS14,Acunetix Web Vulnerability Scanner(简称AWVS)是一款知名的网络漏洞扫描工具,它通过网络爬虫测试你的网站安全,检测流行安全漏洞。WVS可以检查SQL注入漏洞,也可以检查跨站脚本攻击漏洞,可以扫描任何可以通过web浏览访问和遵循HTTP/HTTPS规则的web站点和web应用程序。
CTF 竞赛入门指南(ctf-all-in-one).pdf
浏览:102
3星 · 编辑精心推荐
一、基础篇;二、工具篇;三、分类专题篇;四、技巧篇;五、高级篇;六、题解篇;七、实战篇... 2000多页的电子书,讲解细致,值得搜藏。
Web中间件常见漏洞总结.pdf
浏览:110
5星 · 资源好评率100%
Web中间件常见漏洞总结
stm32f103 adc采样+dma传输+fft处理 频率计_fft处理_stm32_ADCFFT_频率计_ADC采样_
浏览:134
5星 · 资源好评率100%
数字示波器,实现ADC采样,波形显示,fft处理数据,频率计作用
jts-1.14.zip
浏览:40
jts-1.14.zip
CobaltStrike4.4.zip
浏览:197
4星 · 用户满意度95%
CobaltStrike4.4
cisp-pte渗透测试资源下载 (考试环境+题库)
浏览:97
cisp-pte渗透测试资源下载 ,包括 考试环境、题目。
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
shenhaozr
2013-01-08
可用于并发描述
cys925
粉丝: 2
资源:
6
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
基于深度知识追踪(GIKT)模型的习题推荐系统的设计与实现+源代码+文档说明+数据集
gdp.csv
基于课程设计python的pygame写的微信飞机大战源码.zip
写真摄影工作室、静态html页面18个页面,手机自适应
基于Flask+vue深度知识追踪模型的习题推荐系统完整源码+使用说明(优质项目).zip
INDI 标准属性文档(天文系统开发)
LVDS转HDMI手册
INDI 协议文档(天文系统开发)
基于GIKT深度知识追踪模型的习题推荐系统Python实现源码+使用教程.zip
yoaalop.bin
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功