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

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

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

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

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

嵌入式系统开发之道-菜鸟成长日志与项目经理的秘诀
嵌入式C语言自我修养：从芯片、编译器到操作系统-王利涛
LINUX学习--嵌入式LINUX与物联网软件开发 C语言内核深度解析
最基础！电线接法图解大全-电线接头接法规范
从软件的角度看一个嵌入式 Linux 系统
电源中的MOSFET性能的四项关键测试
一文为您介绍电磁兼容（EMC）测试，工程师必看
如何设计电磁阀电磁铁（仿真，测试）
蓝牙技术原理与测试
RK3568核心板-TF卡测试报告
该用户资料分享
基于DSP的DGPS导航定位系统的设计与实现
基于嵌入式微处理器EP9315的二次开发技术
异质多处理器芯片中的数据流核心设计
基于HART协议的智能压力变送器的开发
龙芯2号PC104 Plus处理器模块设计
基于LPC2214的家庭智能终端的设计与实现
网格环境下基于联合代理证书的社区授权服务的UML建模研究
基于像素聚类的指纹分割算法
连续切片三维重构绘图过程的消隐技术
嵌入式LwIP协议栈的内存管理

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

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

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

海信液晶电视TLM42V78K死机故障维修实例
TCL液晶电视L26D01R蓝灯闪烁不开机故障维修实例
长虹液晶电视LT32710 VLC82001.50高压电源一体板维修
三星液晶电视LA46C530F1R黑屏有声故障检修实例
TCL液晶电视L42E9FBD冷机不开机主板故障检修
康佳液晶电视LED46R5500DF无背光故障维修

相关视频

哈尔滨工程大学-济海追风九队
浙江科技大学-浙科轮腿一队
车载辐射加热中的电容式人体检测
机器学习球平衡机
智能运输系统
基于PCIe®和ASA ML技术的车载HPC方案

评论

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