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

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

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

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

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

[从零开始学CPLD和Verilog.HDL编程技术].李建清.扫描
Altera FPGA_CPLD设计（实例源代码）
Altera FPGA CPLD学习笔记
CPLD/FPGA的基本知识
PLDFPGA 结构与原理初步.pdf
浅谈4G技术下新型监控报警系统的设计
新型站内信号灯断丝定位报警系统
由DSP构成的红外线实时监视报警系统
一种实用的有线多地址报警系统
新型家用防盗报警系统
该用户资料分享
基于DSP的DGPS导航定位系统的设计与实现
基于嵌入式微处理器EP9315的二次开发技术
异质多处理器芯片中的数据流核心设计
基于HART协议的智能压力变送器的开发
龙芯2号PC104 Plus处理器模块设计
基于LPC2214的家庭智能终端的设计与实现
网格环境下基于联合代理证书的社区授权服务的UML建模研究
基于像素聚类的指纹分割算法
连续切片三维重构绘图过程的消隐技术
嵌入式LwIP协议栈的内存管理

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

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

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

正激式开关电源拓扑的特点
常用正激式变压器开关电源工作原理详解
为什么正激式开关电源电路只能降压?
双管正激电路工作过程分析
正激和反激是两种不同的开关电源技术
揭开汽车耦合器的神秘面纱

相关视频

斯坦雷电气汽车光学解决方案
Achieving best-in-class RF performance in next gen Industrial and Medical connected applications
EtherCAT® 和 Microchip LAN925x 从站控制器介绍培训教程
MPLAB®模拟设计器——在线电源解决方案，加速设计
让您的模拟设计灵感，化为触手可及的现实
Fluke 1770 系列电能质量分析仪介绍

评论

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