:提出安全协议本质上是协议主体利用密码学手段通过挑战一响应来对协议另一方的存在做出判断,并同 时完成对一些数据例如会话密钥等的协商。依据这种思想,结合认证逻辑中的一些成果,提出了一种新的安全协 议关联性的分析方法,该方法对协议认证目标进行了基于线空间模型语义的定义,并将关联性分析归结为Strand 的存在关 ...
/dl/219493.html
标签: 协议 安全协议 密码
上传时间: 2015-11-09
上传用户:zhangjinzj
现代雷达系统日益变得复杂,难以用简单直观 的分析方法进行处理,往往需要借助计算机来完成 对系统的各项功能和性能的仿真。利用计算机来进 行雷达系统的仿真具有方便、灵活以及经济的特点 而 Matlab 提供了强大的仿真平台,可以为大多数雷 达系统的仿真提供方便快捷的运算。以典型的雷达 为例,它主要由天线、发射机、接收 ...
/dl/226220.html
标签: 现代雷达
上传时间: 2015-11-25
上传用户:ikemada
梁肇新《编程高手箴言》 精华 本书是作者十余年编程生涯中的技术和经验的总结。内容涵盖了从认识CPU、Windows运行机理、编程语言的运行机理,到代码的规范和风格、分析方法、调试方法和内核优化,内有作者对许多问题的认知过程和透彻的分析,以及优秀和精彩的编程经验。 ...
/dl/256639.html
标签: Windows CPU 编程 运行
上传时间: 2013-12-10
上传用户:秦莞尔w
豪杰解霸的创始人梁肇新先生的一本佳作--《编程高手箴言》。本书是作者十余年编程生涯中的技术和经验的总结。内容涵盖了从认识CPU、Windows运行机理、编程语言的运行机理,到代码的规范和风格、分析方法、调试方法和内核优化,内有作者对许多问题的认知过程和透彻的分析,以及优秀和精彩的编程经验。 ...
/dl/257031.html
上传时间: 2016-02-08
上传用户:sevenbestfei
【实验名称】递归子程序分析器的设计与实现 【实验目的和要求】 设计、编制,调试一个典型的语法分析程序,实现对如下的递归子程序语法的分析,进一步掌握常用的语法分析方法。 【实验内容】 ① 本分析程序所分析的文法如下: G[E]: E->eBaA A->a|bAcB B->dEd|aC C->e|dC ② 针对上述文法编写一 ...
/dl/273204.html
标签: 实验 分析器 递归 程序
上传时间: 2013-12-25
上传用户:lanhuaying
本课程设计是一个编译器的设计,包括词法分析部分、语法分析部分和中间代码生成部分。词法分析部分既词法分析器的设计,词法分析是编译的基础,执行词法分析的程序称为词法分析器,也就是说编译程序中完成词法分析任务段就是词法分析器。语法分析部分为语法分析器的设计,采用LR(1)分析方法进行语法分析,判断给出的符号 ...
/dl/276789.html
标签: 编译器
上传时间: 2014-05-30
上传用户:youke111
实现信号的KDDA映射变换,KDDA属于线性子空间分析方法LDA的改进算法,采用核方法实现映射
/dl/291793.html
标签: KDDA 信号 映射 变换
上传时间: 2014-12-22
上传用户:sy_jiadeyi
这是算法设计上面的部分答案,每个例子对应着一种算法分析方法
/dl/293964.html
标签: 算法设计 分
上传时间: 2016-05-10
上传用户:zhouchang199
IF-ELSE条件语句的翻译程序设计(简单优先法、输出三地址表示) 要求完成的主要任务: (包括课程设计工作量及其技术要求,以及说明书撰写等具体要求) (1) 写出符合给定的语法分析方法的文法及属性文法。 (2) 完成题目要求的中间代码三地址表示的描述。 (3) 写出给定的语法分析方法的思想,完成语法分析和语义分析程 ...
/dl/312114.html
标签: IF-ELSE 翻译 程序设计 地址
上传时间: 2016-06-23
上传用户:ardager
本文档主要介绍Q.931协议基本知识,及在日常的维护中使用HDLCMON抓取的呼叫消息流程Trace的分析方法,并根据不同的问题及现象,提供简单的分析解决方法
/dl/348528.html
标签: 931 文档 协议 基本知识
上传时间: 2016-09-30
上传用户:冇尾飞铊
虫虫下载站 半导体技术网 电子研发网 源码地带 电源技术网 单片机技术网 医疗电子技术 嵌入式系统与单片机