【摘 要】
：
WebAssembly是一种新兴的二进制指令集体系结构与代码分发格式，旨在为高级程序语言提供统一且架构无关的编译目标．由于其安全、高效与可移植等先进特性，WebAssembly在Web领域与非Web领域均得到了广泛应用，正在成为最有前景的跨平台公共语言标准之一．尽管WebAssembly提供了多种先进特性以保证安全性，然而，已有研究表明，WebAssembly仍然存在特有的攻击面从而导致安全问题，
【基金项目】
：
国家自然科学基金项目（62072427，12227901）； 中国科学院稳定支持基础研究领域青年团队计划项目（YSBR-005）； 中国科学技术大学学术带头人培养项目；
论文部分内容阅读
WebAssembly是一种新兴的二进制指令集体系结构与代码分发格式，旨在为高级程序语言提供统一且架构无关的编译目标．由于其安全、高效与可移植等先进特性，WebAssembly在Web领域与非Web领域均得到了广泛应用，正在成为最有前景的跨平台公共语言标准之一．尽管WebAssembly提供了多种先进特性以保证安全性，然而，已有研究表明，WebAssembly仍然存在特有的攻击面从而导致安全问题，这些安全问题直接影响到基于WebAssembly的整个软件系统生态．因此，对WebAssembly安全问题的产生机理、现有解决方案以及亟待解决的科学问题展开系统研究尤为重要．基于WebAssembly安全研究领域已经公开发表的44篇研究论文，对WebAssembly安全的相关研究进行了系统研究、分析、归纳和总结：首先，研究分析了WebAssembly的核心安全特性，并在此基础上首次提出了WebAssembly的4层安全威胁模型，包括高级语言支持、编译工具链、二进制表示和语言虚拟机，并对每一层的安全威胁和攻击面进行了详细讨论；其次，提出了WebAssembly安全研究的分类学，将已有研究划分为安全实证研究、漏洞检测与利用、安全增强、形式语义与程序验证4个热点研究方向，并对这4个方向分别进行了综述、分析和总结；最后，指出了该领域待解决的科学问题，并展望了5个潜在的研究方向．
其他文献
情感分析是对网络文本信息进行倾向分类的过程,是目前自然语言处理、信息检索、人工智能等领域的热门研究内容。中央提出的“一带一路”建设正在促进新疆企业发展的同时,在网络技术中也有了显著的进步。在这种良好的条件下,维吾尔语作为新疆范围内使用人口较多的语言,在此领域中也得到了前所未有的发展。大量的维吾尔语网站建立的同时得到了少数民族人群的追捧。这类动态交流式平台的普及使维吾尔网络文本数量快速增加,对这些文
随着电子垃圾在尼日利亚的日益泛滥,如何使消费者正确处理电子垃圾是当面尼日利亚面对的重要挑战。由于政府的监管力过于薄弱,在电子垃圾的有效收集和处理方法上无法实现正确的物料回收和精准的管理流程,导致消费者把电子垃圾作为一般的固体垃圾处理,进而非正规部门采用过于简单粗放的处理方式进行垃圾回收。但是,垃圾回收作为汇集和转移电子垃圾到正确的处理设施的中心阶段需要消费者积极参与其中。因此,深入了解消费者参与电
近年来,有机半导体迅速发展并进入商业化应用阶段。有机空穴传输材料作为有机半导体领域中的重要组成部分,广泛应用于有机发光二极管、有机太阳能电池、有机场效应晶体管等方面。在有机空穴传输材料中,以9,9’-氧杂蒽螺芴（SFX）为核心的衍生物,因其合成简单、修饰方便等优势,展示出很好的应用前景。本论文从有机空穴传输材料分子设计的原则出发,合成了以SFX为核心,富电子芳杂环咔唑和吩噻嗪分别作为取代基的两类空
本研究以4位职前物理教师和6位在职物理教师为调查对象,调查其对职前教师培训的看法。通过访谈法收集数据,以内容知识、教学法知识、学科教学知识三个主题来进行质化分析。采访了来自厄立特里亚某地区3个中等技术学校的6位在职教师,以及Adi-keih教育学院的4位师范专业的学生。试图了解职前物理教师及在职物理教师对职前教师培训的看法。调查结果显示,无论职前物理教师还是在职教师,都认为职前教师培训课程对于他们
现今,话语分析的研究对象不仅局限于语言和其它文字模态上,还包括了对多模态的分析。然而少有研究对智能手机英文网页进行话语分析,研究多个模态结合进行信息传递的方式。因此,本研究从文本、图片、版面设计和图片文字关系四方面对智能手机网页进行多模态话语分析。本研究的数据来自于2016年1月TrendForce公布的2015年销量前五位的智能手机品牌官网。对数据中的文本,根据人际元功能理论,分析其语气和情态;
口语流利度被视为评判二语学习者二语综合能力的重要指标之一,如何更好地促进口语流利性的发展得到了国内外众多学者的关注。近年来,学者就词块的使用是否对二语流利性的发展具有积极影响展开广泛探索。本研究尝试用实证研究来探索将词块教学法运用到中国非英语专业口语课堂中是否能够显著提高学习者的口语流利度。本研究实施了一项为期17周的教学实验,选取两个平行班作为实验组和对照组,分别采用词块教学法和传统交际教学法,
元话语作为作者引导受众理解语篇的一种方法,是交际中一种常用的话语现象。主席声明作为企业年报的一部分,在促进公司与潜在投资人之间的沟通方面发挥着重要的作用,因此具有很强的互动性。基于海兰德的人际元话语模式,本研究分析了30家美国上市公司年报中主席声明的元话语以及它们如何实现修辞诉求。所有美国公司都是从2015年“财富”世界500强公司中随机选择的。本文运用定量研究和定性研究相结合的研究方法。定量研究
“一带一路”是习近平主席立足中国国情、着眼长远利益提出的伟大构想。在推进“一带一路”建设的过程中,中国高铁积极“走出去”,已成为中国对外形象的代表,带领中国经济走向国际市场。然而,在对外发展的过程中,中国高铁仍面临很多风险和挑战,其中最主要的原因之一是对投资环境缺乏了解,包括接收方对于中国高铁的隐性态度或多变性态度。新闻报道,作为一种了解大众认知的重要途径,应得到中国高铁投资者的重视。对比分析中外
在全球化的背景下,越来越多的外商和外国资本涌入中国。中国商法在规范本国企业和外国企业的商业活动中发挥着越来越重要的作用。中国商法翻译的不当势必会阻碍经济的发展。本文通过比较中国商法英译文本和其源语本文、以及原创英语法律文本,试图发现中国商法英译中存在的问题。在对法律翻译研究和语料库翻译研究进行回顾之后,作者建立了平行语料库和可比语料库用以研究中国商法英译文本的语言特征。采用定量和定性相结合的方法,
[目的/意义]在百年未有变局、新科技革命叠加中美大博弈背景下，科技安全面临的考验和挑战前所未有。履职科技安全是地方科技情报机构特色彰显和业务拓展的关键路径。[方法/过程]以地方科技情报机构履职科技安全的现实起点、指导原则和功能任务为逻辑主线，运用系统理论，构建以理念、思维、观念引领为根本、四维发力为核心的科技安全情报功能任务体系框架，提出主要内容。[结果/结论]科技安全是发挥科技情报履职作用的强关