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

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

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

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

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

速看--开关电源典型设计实例精选
电子工程师自学速成 —— 设计篇（电路绘图，单片机技术）
经典--开关电源功率变压器的设计方法
单片开关电源设计200例.pdf
开关功率变换器：开关电源的原理、仿真和设计
ADI ADA4571各向异性磁阻(AMR)传感器 用户手册
ADI面向高性能伺服驱动器的可持续运动控制解决方案
ADMT4000应用手册
ADMT4000 data sheet
ADMT4000
该用户资料分享
基于DSP的DGPS导航定位系统的设计与实现
基于嵌入式微处理器EP9315的二次开发技术
异质多处理器芯片中的数据流核心设计
基于HART协议的智能压力变送器的开发
龙芯2号PC104 Plus处理器模块设计
基于LPC2214的家庭智能终端的设计与实现
网格环境下基于联合代理证书的社区授权服务的UML建模研究
基于像素聚类的指纹分割算法
连续切片三维重构绘图过程的消隐技术
嵌入式LwIP协议栈的内存管理

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

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

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

构建可调高频陷波滤波器
实现交流-直流电源的极低或零待机功耗
Sanken 在临界模式下进行交错式控制，可降低输入/输出纹波电流及开关损耗
隔离式 DC-DC 反激式开关电源
将负调节器“颠倒过来”，从单一来源创建双极电源
一种新型改进型锁存电源开关

相关视频

使用RNWF02即插即用Wi-Fi®模块轻松连接云端
PIC32CZ CA9X MCU上的硬件安全模块（HSM）：特性、优势和用途
BlueSky®技术
安全预配置联网设备
MPLAB® XC编译器许可证
利用ECC608 TrustMANAGER和Kudelski IoT的keySTREAM SaaS进行现场凭证配置

评论

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