A Protocol Conformance Testing Method Based on the FSM for KMIP

来源 :null | 被引量 : 0次 | 上传用户:yy19880904
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Due to the booming development of cloud computing and big data technologies,key management interoperability protocol(KMIP) plays an important role in centralized key management services.However,lacking in the complete test cases suite becomes a predominant drawback of protocol compliance testing for KMIP.We designed a formal knowledge base and proposed a protocol conformance testing solution built on the finite state machine model.This solution can generate and execute test cases automatically and receive results to judge consistencies between the server protocol implementation and KMIP.We conducted experiments on the Oracle Key Vault(OKV) to demonstrate the validity and practicability of the proposed testing method.Further,this work is conducive to protocol compliance testing for internet protocol as KMIP.
其他文献
<正>人类从外界环境获取信息的主要渠道是通过视觉和听觉,外部环境中大量的信息是通过视觉传输给大脑的,幼儿的视觉质量与身体发育、智力发展息息相关。在信息时代的背景下,由于受不良生活习惯的影响以及对视力保护缺乏重视,视力伤害正逐步向低龄幼儿逼近。我园遵循幼儿视力发育的规律,以组建专项队伍为保障,创新教育方式为抓手,在实践中不断探索视力保护的有效策略,构建起全员护眼、全程护眼、全方位护眼的新局面。
期刊
6月6日是每年的“全国爱眼日”,采用宣传、讲座、筛查等形式为增强儿童爱眼护眼的意识和普及爱眼护眼常识提供必要的帮助。采用问卷的方式对爱眼护眼相关问题进行调查,借助宣传活动提升儿童爱眼护眼的健康意识、促进儿童近视的预防与控制、增强家长和教师视力防控的意识等方面都起着积极的作用。
碳中和的目标和可再生能源的快速发展为电力系统带来新的机遇与挑战。加快电力系统的数字化转型,建设智慧电网成为电力系统未来发展的重要路径。该文基于第265期"双清论坛",以"全景信息感知赋能电网智慧"为主题,凝练基础科学问题,从电网先进传感理论与技术、电力能源装备智能感知技术、基于全景信息的电网智能分析运行控制3个方面综述了当前研究现状,指出该领域未来研究重点,为我国智慧电网发展提供参考。
<正>作为不需要下载安装就可使用的手机端应用,小程序自2017年诞生开始至今已走过5个年头,2022年的小程序世界除了拥有更广泛的类别,其生态和服务模式也变得越来越丰富。完整的生态聚合现阶段我国共有10家主流小程序平台,包括腾讯的微信小程序、QQ小程序,阿里的支付宝小程序、淘宝轻店铺,字节跳动的头条小程序、
期刊
本文以抖音为样本来研究体育类短视频,通过分析其生产者、传播内容和传播方式,发现体育类短视频提高了人们获取体育资讯的效率,具有一定的传播优势,但是,也存在缺乏专门的板块设置、传播内容不安全和同质化等问题。对此,提出完善垂直领域细分机制、抖音平台做好“把关人”、完善相关法律法规保护体育类短视频的版权、抓住热点利用聚变效应吸引受众等改进策略,旨在促进体育类短视频的长远发展。
无论冬季还是夏季,吕宋海流都是南海中、北部海盆尺度的气旋式环流的东翼,也是一支较强的深层海流;吕宋海流西部吕宋涡充分发展,空间尺度为400 km左右,也是南海中部深层水中重要流涡之一.南海中北部气旋式环流是吕宋海流存在的主要动力因子,季风的影响是吕宋涡旋形成的重要外在因素,夏、秋季黑潮水大量入侵,也强化了吕宋海流和吕宋涡旋运动,而上升流的形成可以进一步强化吕宋海流与吕宋涡旋.
探索贵州赤水河流域土壤持水特征的影响因素,为区域水资源的科学管理提供参考.采用典型样地调查法采集贵州赤水河流域162个表层土壤,通过室内分析,结合方差分析和数量化理论Ⅰ方法,评价不同土壤类型、土地利用类型和地形条件对土壤持水量特征的影响.研究结果表明,贵州赤水河流域不同土壤类型下饱和持水量和田间持水量差异有统计学意义,其中紫色土饱和持水量和田间持水量显著低于其他土壤类型.不同土地利用类型以稻田饱和
<正>内容简介:该书是2021年公开出版的习近平总书记重要讲话单行本的合订本,一共收入了18篇总书记公开发表的重要讲话。讲话内容涉及脱贫攻坚、党史学习教育、纪念辛亥革命110周年、纪念中华人民共和国恢复联合国合法席位50周年纪念会议、第四届中国国际进口博览会等。这些讲话内容丰富、思想深邃,是习近平新时代中国特色社会主义思想的重要组成部分。出版社:人民出版社出版日期:2022年1月定价:20元
期刊
报纸