基于Isabelle/HOL的ARMTrustZneo形式化建模

来源 :解放军理工大学学报(自然科学版) | 被引量 : 0次 | 上传用户：xubin761

【摘要】

：

ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技

【作者】

：

钱汉伟王承毅

【出处】

：

解放军理工大学学报(自然科学版)

【发表日期】

：

2004年期

【关键词】

：

可信平台 Trust Zneo 形式化验证 Isabelle

【基金项目】

：

江苏省高等学校“十三五”重点学科建设专项资金资助项目（JS110838）

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技术领域,包括主机、控制电路和计算机三部分组成,主机包括由棱镜。敏感膜敏感芯片、半导 Ue*M#

其他文献

学校文化团结发生机制与实现策略

学校文化团结是学校成员在社会规范和职业道德的前提下,对学校核心价值体系的认知一致和情感共鸣,由此形成真实、紧密、高级、愉悦的人际联结方式。价值主义基础、价值均衡、

期刊

学校文化团结价值整合规范体系

语文教材中艺术元素对教学的启示

摘要：語文天生具有显性艺术的特质，探寻教材中的各类艺术元素，品析艺术表现指向语文习得，挖掘艺术内涵生成学习活动，借鉴艺术形式激活学习情态，让语文教学活动和艺术有机、科学联姻，能够激发教学的无限生机和活力，改变语文教学的质态，并使得语文教学提升至更高的品位。　　关键词：语文教材;艺术元素;中学语文教学　　中图分类号：G633.3 文献标志码：A 文章编号：1673-9094（2020）10B-005

期刊

语文教材艺术元素中学语文教学Chinese teaching materialsartistic elementsmiddle school Chines

制革过程中胶原纤维网络多孔结构的演变

在归纳针对多孔结构表征的氮气吸附法、压汞法等传统方法和毛细管流动孔径分析法、热孔法、扫描电子显微镜观察法等现代方法以及现代分形分析理论的基础上,重点阐述了制革过

期刊

制革过程胶原纤维网络多孔结构分形分析性能

从经筋理论探讨不宁腿综合征

不宁腿综合征是临床上造成睡眠障碍的常见病,西医治疗的手段有限,效果不佳。将不宁腿综合征与中医经筋理论相结合,总结出不宁腿综合征的病位在经筋,病性虚实结合:肝肾脾胃亏

期刊

不宁腿综合征经筋理论理论探讨临床经验

对小学英语教学中分层教学的分析

英语教学引起了我国教育部门的广泛关注,因为最大限度提高学生的英语能力是学生走向社会提高自身竞争力的一种有效措施。近几年来,为了培养学生的英语能力,我国小学在对学生

期刊

小学英语教学分层教学英语能力教育部门教学过程教学效果学生竞争力

新疆“艾德莱斯”发展方向浅析

新疆“艾德莱斯”是当地主体少数民族——维吾尔族人民的传统服饰用料,也是极具代表性的民族织物。“艾德莱斯”从汉代时伴随着丝绸之路的兴盛而发展至今,它已经不仅仅是单纯

期刊

德莱斯维吾尔族丝绸贸易和田地区物质载体魏晋南北朝时期

对农商银行服务县域实体经济的思考

期刊

新形势县域实体经济支持路径

基于Isabelle/HOL的ARMTrustZneo形式化建模

与本文相关的学术论文