首页|嵌入式系统|显示技术|模拟IC/电源|元件与制造|其他IC/制程|消费类电子|无线/通信|汽车电子|工业控制|医疗电子|测试测量
首页 > 分享下载 > 无线/通信 > 一种改进的安全协议形式化需求语言

一种改进的安全协议形式化需求语言

资料介绍
对原有的安全协议形式化需求语言进行了改进,使其能适用于复杂的分布式系统.使用改进后的语言描述了网格环境下多用户协同计算中科学计算问题的安全需求.

标签：安全协议，形式化需求语言，网格，协同计算，，，
一种改进的安全协议形式化需求语言
本地下载

相关资源 安全协议 ，形式化需求语言 ，网格

浅谈电动汽车充电桩检测技术的实现
简析煤矿电力监控系统的设计与应用
简析电弧光保护应用在风力发电机中
基于云平台的环保用电监控的应用研究
C++应用程序性能优化
RS-485多主机通信的组网方式
OLED屏幕串口
远程串口调试
Dora 远程串口
串口实验
该用户资料分享
基于DSP的DGPS导航定位系统的设计与实现
基于嵌入式微处理器EP9315的二次开发技术
异质多处理器芯片中的数据流核心设计
基于HART协议的智能压力变送器的开发
龙芯2号PC104 Plus处理器模块设计
基于LPC2214的家庭智能终端的设计与实现
网格环境下基于联合代理证书的社区授权服务的UML建模研究
基于像素聚类的指纹分割算法
连续切片三维重构绘图过程的消隐技术
嵌入式LwIP协议栈的内存管理

相关新闻 安全协议 ，形式化需求语言 ，网格

飞思卡尔推出汽车远程无钥匙进入系统方案
飞思卡尔汽车远程无钥匙进入系统方案和VKSP安全协
基于网格的电子投票系统的应用设计
内存网格关键技术探析
校园网格系统设计方案
网格协同设计环境中的任务调度机制

相关电路 安全协议 ，形式化需求语言 ，网格

三路延时功能的互补型音频振荡器的效果图演示_基础硬件电路图讲解
精密幅度稳定的低失真正弦波振荡器电路图
采用ADE7755智能电表电能计量电路设计 - 消费类电子电路图
电子仿声驱鼠器电路设计 - 消费类电子电路图
广告彩灯制作电路设计 - 信号处理电子电路图
循环LED彩灯电路的效果图演示_基础硬件电路图讲解

相关视频

设计一款水中管道智能巡检机器人的解决方案
E点冷知识：不要烧电容挑战
[nRF] Nordic推出两款新硬件产品，加速蜂窝产品开发
用Robei EDA工具设计的可重构机器人解决方案
第十八届全国智能车大赛独轮组预赛
第十八届全国智能车大赛摄像头组预赛

评论

下载排行
  • 本周
  • 本月
  • 总榜
快捷入口