【摘 要】
：
为提高嵌入式系统可靠性,开发安全可信的系统,需要在软件开发设计阶段尽早考虑安全问题。提出一种面向嵌入式系统的威胁建模方法,该方法分析了嵌入式系统可能存在的威胁漏洞,
【机 构】
：
徐州工业职业技术学院,武汉大学计算机学院,武汉大学软件工程国家重点实验室
【基金项目】
：
国家自然科学基金可信软件重大研究计划资助项目(90818018,91018009)
论文部分内容阅读
为提高嵌入式系统可靠性,开发安全可信的系统,需要在软件开发设计阶段尽早考虑安全问题。提出一种面向嵌入式系统的威胁建模方法,该方法分析了嵌入式系统可能存在的威胁漏洞,以威胁树的形式建立了嵌入式系统威胁模型;根据该模型,以量化的方式从下到上迭代地计算各个节点的威胁值,然后根据各个节点的威胁值对嵌入式系统进行风险评估。为更好地说明威胁模型及其各节点威胁值的计算方法,以智能电表中用户电表账单信息受到的威胁为例,说明了整个建模和量化过程。通过具体实例验证了该方法的实用性和有效性。
其他文献
本文阐述了体育学习动机和兴趣的基本概念,并深入地论述了在体育教学实践中如何帮助学生明确体育学习动机,培养体育学习兴趣的方法和手段。
<正>《阿尔贝托·卡埃罗诗集》译序托马斯·克罗塞2将我译的这些诗放在英语读者群面前,我这样做是完全自信的,因为我在进行一次展示。我非常自信地断言:我提供给英国人的是迄
目的探讨呼吸重症监护病房慢性阻塞性肺病患者机械通气时间的相关因素,为临床诊疗提供参考。方法选取浙江中医药大学附属第三医院呼吸重症监护病房收治的41例慢性阻塞性肺病
通过对李白凤蕴含教育思想的散文和小说的研究,揭示了李白凤独特的教育理念,认为李白凤的教育思想主要体现在3个方面:生命教育、审美教育和道德教育,其中,立足现实是教育的根
本文原载于2019年3月14日美国防务新闻网络杂志《Breaking Defense》署名文章,作者为该网站副主编悉德尼·J·小弗瑞德伯格(Sydney J. Freedberg JR.)。译文为原作者个人观点
临床资料 患者男，22岁。因阴茎包皮暗棕色斑疹3年余就诊，家族中无类似病史，体检：系统检查未见明显异常，皮肤科情况：阴茎包皮部位散在暗棕褐色斑疹，粟粒大小，部分斑疹融合成暗棕色斑片
道教经典《太平经》中蕴涵丰富的社会生态思想,它提倡社会消费平衡,渴望社会公平,向往社会和平。这些思想对今天的生态文明建设仍有一定的现实借鉴意义。
互联网企业通过匹配供需双方的需求,创造了巨大的价值。对互联网企业来说,用户是最重要的资源,对其估值需要加入用户规模这一变量。然而,互联网企业往往追求股东价值最大化,
孟浩然是继陶渊明、谢灵运之后与王维齐名的著名山水田园诗人,其山水田园诗清淡的主导风格一直为历代评论家赞赏。本文拟从艺术表现手法的角度深入解析孟浩然山水田园诗清淡
在京津冀协同发展的大背景下，进一步推动我市美丽乡村建设与现代农业、休闲农业、乡村旅游融合发展，是彰显我市城乡统筹发展魅力，提升区位价值、发展潜力和综合竞争力的迫切要求