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

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

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

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

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

二十种常见开关电源拓扑结构及其工作原理.docx
IMU工作原理
深入理解三极管（BJT）的工作原理
N沟道增强型半导体场效应三极管工作原理
直流发电机的工作原理交流同步发电机的工作原理
该用户资料分享
基于DSP的DGPS导航定位系统的设计与实现
基于嵌入式微处理器EP9315的二次开发技术
异质多处理器芯片中的数据流核心设计
基于HART协议的智能压力变送器的开发
龙芯2号PC104 Plus处理器模块设计
基于LPC2214的家庭智能终端的设计与实现
网格环境下基于联合代理证书的社区授权服务的UML建模研究
基于像素聚类的指纹分割算法
连续切片三维重构绘图过程的消隐技术
嵌入式LwIP协议栈的内存管理

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

飞思卡尔汽车远程无钥匙进入系统方案和VKSP安全协
飞思卡尔推出汽车远程无钥匙进入系统方案
如何让工业物联网设备保护，升级到最新的FIPS安全标准？答案内详~
基于Oracle环境下企业网格的应用
网格技术在校园网络资源共享中的应用介绍
一种基于统计信息的网格资源组织及任务调度

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

海信彩电TF25R08N行不同步故障维修实例
TCL王牌2175E开机电源+B电压瞬间过高引起烧行管故障检修
不要忽视电路中的小电容，王牌AT34U186电视水平亮线维修一例。
海尔彩电34P-9AT打火后奇特故障维修实例
创维5800－P42TLQ－0000电源板 摘板维修
TCL液晶电视L37M71F不开机故障检修实例

相关视频

湖南科技大学-湖科六队
上海工程技术大学-飘飘飘雪队
太原工业学院-晋速扶光星
西南科技大学-西科轮腿一队
湘潭大学兴湘学院-逐曦分队
河南工程学院-没什么好名字队

评论

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