形式化

作品数：5172被引量：11555H指数：35
导出分析报告
相关领域：自动化与计算机技术文化科学更多>>
相关作者：关永施智平薛锦云张广泉段振华更多>>
相关机构：华东师范大学国防科学技术大学西安电子科技大学清华大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划国家社会科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程与设计x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于UML模型的用户界面自动生成
《计算机工程与设计》2025年第4期1208-1218,共11页董泽华 蒋建民 李朝江 何清 马国栋 
科技部重点研发计划基金项目(2022YFB3305101);国家自然科学基金项目(61772004);成都信息工程大学人才科研基金项目(KYTZ202009)。
为解决传统低代码平台无法全自动生成用户界面的缺陷,保证生成用户界面过程中的一致性、正确性、完整性,提出一种基于UML模型的用户界面自动生成方法。将领域概念模型和用例模型作为系统需求,结合形式化方法,开发用户界面自动生成算法...
关键词：UML模型 用户界面 形式化方法 低代码开发平台 模型驱动工程 一致性 高可信软件 
基于CRCLA的形式化描述与退火遗传映射算法
《计算机工程与设计》2024年第5期1368-1375,共8页杨晨光 李伟 杜怡然 陈韬 
国家自然科学基金项目(61404175)。
为解决密码算法映射到粗粒度可重构密码逻辑阵列(CRCLA)过程的描述困难问题,提出一种数据流图节点与划分后节点簇的描述形式,并以一种坐标序列描述形式精确显示CRCLA中资源的占用情况;针对密码算法映射到CRCLA上性能不高及编译时间过长...
关键词：密码算法 数据流图 划分 描述形式 粗粒度可重构密码逻辑阵列 快速收敛 退火遗传算法 
基于SPIN的HMSC模型自动检验方法
《计算机工程与设计》2023年第10期3047-3055,共9页李立亚 孙雨荷 马汉杰 丁佐华 黄鸿云 
国家自然科学基金项目(62132014)。
自动检测与验证HMSC(high-level message sequence chart)模型的正确性对保证文本需求被正确建模具有十分重要的意义,为此提出一种为HMSC模型进行自动检验的方法,并将其实现。利用转换规则为HMSC模型生成Promela检测语言,借助SPIN工具...
关键词：模型检测 HMSC模型 SPIN工具 正确性验证 模型转换 Promela语言 形式化方法 
基于PUF的Kerberos认证协议被引量：1
《计算机工程与设计》2022年第11期3045-3050,共6页冯志华 张宇轩 卢文涛 罗重 
国家重点研发计划基金项目(2018YFB220030)。
为解决Kerberos身份认证协议易遭受口令猜测攻击和重放攻击等局限和不足,提出一种基于物理不可克隆函数(physical unclonable function,PUF)的Kerberos改进协议。该协议的优势在于利用物理不可克隆函数生成的激励响应对代替原协议中的密...
关键词：KERBEROS协议 物理不可克隆函数 身份认证 口令攻击 重放攻击 密钥管理 形式化分析 
基于时序约束建模的自动精化和组合工具
《计算机工程与设计》2021年第7期2077-2086,共10页王烨凯 苏雯 
国家自然科学基金项目(61602293)。
为提供更优质的使用Event-B形式化方法建模混合系统的工具,根据混合系统的时序约束建模方法,其能够很好刻画混合系统建模中的时间相关性质并且支持精化和组合,提出基于它的自动筛选、精化和组合的方法。开发对应的自动精化和组合的工具...
关键词：形式化方法 混合系统 时序约束建模 自动精化和组合方法 自动精化和组合工具 
机载系统的功能研制保证等级验证方法被引量：1
《计算机工程与设计》2021年第3期867-874,共8页蒋泉 朱春玲 王旭亮 尹小花 
国家自然科学基金重点基金项目(11832012)。
为保证机载系统研制过程中人为分配的功能研制保证等级是合理的,提出一种机载系统功能研制保证等级的验证方法。考虑不同架构设计对系统功能研制保证等级分配的影响,结合模型驱动和形式化方法,研究系统的功能研制保证等级与安全标准的...
关键词：机载系统 功能研制保证等级 形式化方法 安全标准 系统安全性 
基于优化TESLA对GRID协议的安全性改进被引量：2
《计算机工程与设计》2019年第8期2161-2166,共6页韩帅 矫文成 
针对移动Adhoc网络中GRID协议的广播特性易遭受恶意节点网络攻击的缺点,在安全网格路由协议SGRP的基础上,提出基于优化TESLA的改进方案。采用椭圆曲线数字签名算法完成节点的身份认证,提出通过调整数据包发送顺序的方法减小节点存储开...
关键词：GRID协议 安全网格路由协议 优化TESLA 身份认证 形式化安全分析 
改进的轻量级移动RFID双向认证协议被引量：13
《计算机工程与设计》2018年第4期912-917,共6页汪杰 汪学明 
国家自然科学基金项目([2011]61163049);贵州省自然科学基金项目(黔科合J字[2014]7641)
为提高移动RFID认证协议的安全性和计算效率,分析现有的移动RFID双向认证协议存在的问题,提出一种改进的轻量级移动RFID双向认证协议。采用轻量级的Hash函数和动态ID机制结合共享密钥的方法实现标签、移动阅读器和后台服务器通信三方之...
关键词：移动RFID 轻量级 HASH函数 双向认证 形式化分析 
OAuth2.0协议的优化方法被引量：2
《计算机工程与设计》2016年第11期2949-2955,共7页魏成坤 刘向东 石兆军 
为保证OAuth2.0协议的安全性,防止实施过程中出现令牌泄露、钓鱼攻击及中间人攻击等威胁,对原有的协议框架进行优化。通过在Authorization Server和Resource Server之间建立信任机制,同步信任信息,在Authorization Server中引入"安全节...
关键词：开放授权2.0协议 形式化分析 安全性 访问令牌 授权码 
OAuth2.0协议的安全性形式化分析被引量：6
《计算机工程与设计》2016年第7期1746-1751,共6页魏成坤 刘向东 石兆军 
为使用户信任安全系统,保证OAuth2.0协议的有效实施,提出对OAuth2.0协议进行详细的安全性分析。通过对Scyther的研究和OAuth2.0协议的分析,形式化验证OAuth2.0协议的安全性。将OAuth2.0协议标准转化为Scyther的形式化语义,分析协议的安...
关键词：OAuth2.0 Scyther 形式化分析 云计算 安全性 
全选清除导出
共9页<123456789>
检索报告 对象比较 聚类工具 使用帮助 返回顶部