期刊文献+
共找到7篇文章
< 1 >
每页显示 20 50 100
Casper/FDR和串空间在物联网通信协议中的形式化分析 被引量:4
1
作者 吴名欢 程小辉 《桂林理工大学学报》 CAS 北大核心 2014年第2期338-344,共7页
通过应用实例研究了如何用Casper/FDR和串空间两种分析方法对通信协议进行形式化分析:用Casper/FDR对协议的有穷状态进行穷举验证,当发现协议漏洞时会自动给出攻击的迹,但是此方法会产生状态爆炸的问题;串空间方法正好可以解决状态爆炸... 通过应用实例研究了如何用Casper/FDR和串空间两种分析方法对通信协议进行形式化分析:用Casper/FDR对协议的有穷状态进行穷举验证,当发现协议漏洞时会自动给出攻击的迹,但是此方法会产生状态爆炸的问题;串空间方法正好可以解决状态爆炸问题,用串空间对协议的各种状态进行证明,但是如果发现了协议漏洞,该方法不能给出攻击者的迹。 展开更多
关键词 casper FDR 协议形式化分析方法 串空间
在线阅读 下载PDF
基于Casper和Simulink的射电谱仪信号处理系统设计与实现 被引量:2
2
作者 赵翠霞 赵飞 阎敬业 《空间科学学报》 CAS CSCD 北大核心 2020年第2期280-288,共9页
基于Casper硬件平台的射电望远镜数字系统正在被广泛应用.在Simulink中通过调用Casper模块可以实现复杂的数字信号设计,加快FPGA开发射电望远镜系统的效率.利用Casper模块和Simlink中Xilinx模块设计射电望远镜单元样机的数字信号处理单... 基于Casper硬件平台的射电望远镜数字系统正在被广泛应用.在Simulink中通过调用Casper模块可以实现复杂的数字信号设计,加快FPGA开发射电望远镜系统的效率.利用Casper模块和Simlink中Xilinx模块设计射电望远镜单元样机的数字信号处理单元,完成子带的抽取、下变频和整体频谱分析等功能.在Casper通用硬件平台ZYNQ7020上进行相关功能的仿真,验证了利用Casper模块和Xilinx模块设计基于FPGA的射电望远镜单元样机信号处理系统的可行性和高效性. 展开更多
关键词 正交数字下变频 频谱分析 System GENERATOR casper模块
在线阅读 下载PDF
赛默飞世尔科技任命Marc N.Casper为总裁兼首席执行官
3
《食品与发酵工业》 CAS CSCD 北大核心 2009年第9期187-187,共1页
关键词 首席执行官 高科技材料 总裁 casper MARC 作物营养 拜耳公司 董事会
在线阅读 下载PDF
一种基于类四叉树的位置K-匿名算法 被引量:3
4
作者 金福生 叶子石 宋红 《北京理工大学学报》 EI CAS CSCD 北大核心 2014年第1期68-71,76,共5页
通过对Casper模型在匿名度和位置服务精准度方面优化,提出了一种基于类四叉树的位置K-匿名算法.该算法采用自底向上的机制,在扩大扫描区域时,对请求用户所在网格的周边网格进行优先扫描,然后再进行层级和空间分辨率上的提高.实验结果表... 通过对Casper模型在匿名度和位置服务精准度方面优化,提出了一种基于类四叉树的位置K-匿名算法.该算法采用自底向上的机制,在扩大扫描区域时,对请求用户所在网格的周边网格进行优先扫描,然后再进行层级和空间分辨率上的提高.实验结果表明,该算法能够更好地提高位置服务的质量和匿名区域的准确度. 展开更多
关键词 类四叉树 位置K-匿名 casper优化 自底向上
在线阅读 下载PDF
基于V-grid模型的位置隐私保护方法 被引量:2
5
作者 司超 徐红云 《计算机工程》 CAS CSCD 2012年第12期276-278,282,共4页
Casper模型只适用于用户移动速度较慢的情况,当用户高速运动时,匿名区域构造成功率下降,LBS服务质量降低。为此,提出一种基于V-grid模型的位置隐私保护方法。引入用户移动速度,在构造匿名区域前更新用户位置,以满足不同移动速度用户的... Casper模型只适用于用户移动速度较慢的情况,当用户高速运动时,匿名区域构造成功率下降,LBS服务质量降低。为此,提出一种基于V-grid模型的位置隐私保护方法。引入用户移动速度,在构造匿名区域前更新用户位置,以满足不同移动速度用户的隐私需求。实验结果表明,V-grid模型适用于户运动速度不同的情况,比Casper模型的匿名区域构造成功率更高,服务质量更好。 展开更多
关键词 位置隐私 casper模型 V-grid模型 K-匿名
在线阅读 下载PDF
用于雷达天文研究的高速基带数据记录系统
6
作者 安秀梅 陈卯蒸 +3 位作者 裴鑫 李健 段雪峰 托乎提努尔 《天文学报》 CAS CSCD 北大核心 2021年第5期60-72,共13页
为了开展雷达天文科学研究,将射电望远镜接收的雷达回波信号进行采集和记录,研究基于SNAP(Smart Network ADC(Analog to Digital Converter)Processor)硬件实验板和快速存储服务器设计并开发了雷达天文基带数据采集与记录系统.该系统采... 为了开展雷达天文科学研究,将射电望远镜接收的雷达回波信号进行采集和记录,研究基于SNAP(Smart Network ADC(Analog to Digital Converter)Processor)硬件实验板和快速存储服务器设计并开发了雷达天文基带数据采集与记录系统.该系统采用CASPER(Collaboration for Astronomy Signal Processing and Electronics Research)提供的图形化FPGA(Field Programmable Gate Array)开发工具流,设计了双通道、256 MHz带宽信号采集和VDIF(VLBI(Very Long Baseline Interferometry)Data Interchange Format)基带数据输出固件程序;基于HASHPIPE(High Availability SHared PIPeline Engine)多线程管理引擎开发了双万兆以太网口实时基带数据存储程序,存储带宽达到1 GB/s;最后编写了VDIF格式到雷达天文格式的转换程序.经过脉冲星信号观测实验检测,该系统准确、可靠. 展开更多
关键词 射电天文学:基带数据 技术:雷达天文 数据处理:格式存储 SNAP casper
在线阅读 下载PDF
面向HDFS的可证明安全的单点登录协议 被引量:4
7
作者 王绍人 杜学绘 杨智 《计算机应用研究》 CSCD 北大核心 2016年第7期2152-2156,共5页
针对Hadoop distributed file system(HDFS)的安全机制中密钥管理复杂、用户需进行多次身份认证的问题,提出一个适合HDFS的基于身份的单点登录协议。协议采用基于身份的密码技术实现了用户的单点登录,同时根据各个节点上一次为用户提供... 针对Hadoop distributed file system(HDFS)的安全机制中密钥管理复杂、用户需进行多次身份认证的问题,提出一个适合HDFS的基于身份的单点登录协议。协议采用基于身份的密码技术实现了用户的单点登录,同时根据各个节点上一次为用户提供服务的情况对用户登录票据的流转过程进行了优化,并且运用Capser形式化证明工具对协议的安全性进行了证明。协议降低了HDFS在密钥管理上的开销,解决了用户访问HDFS可能需要频繁认证的问题,提高了登录票据流转的效率,同时协议还具有较高的安全性。理论分析和安全性验证表明,本协议对HDFS的安全高效运行有较大的帮助。 展开更多
关键词 HDFS 基于身份 单点登录 Capser 形式化证明
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部