基于形式化方法的区块链系统漏洞检测模型

随着区块链技术在各行各业的广泛应用,区块链系统的架构变得越来越复杂,这也增加了安全问题的数量.目前,在区块链系统中采用了模糊测试、符号执行等传统的漏洞检测方法,但这些技术无法有效检测出未知的漏洞.为了提高区块链系统的安全性,提出基于形式化方法的区块链系统漏洞检测模型VDMBS(vulnerability detection model for blockchain systems),所提模型综合系统迁移状态、安全规约和节点间信任关系等多种安全因素,同时提供基于业务流程执行语言BPEL(business process execution language)的漏洞模型构建方法.最后,用NuSMV在基于区块链的电子投票选举系统上验证所提出的漏洞检测模型的有效性,实验结果表明,与现有的5种形式化测试工具相比,所提出的VDMBS模型能够检测出更多的区块链系统业务逻辑漏洞和智能合约漏洞.

基于S-CAD方法的四川省单元式乡村国土空间规划政策评价与优化研究

国土空间规划改革以来,各地开展了探索与实践,2021年四川在全省推行以片区为单元编制乡村国土空间规划,是全国第一个在全省范围开展单元式乡村国土空间规划的省域。通过运用S-CAD方法和政策工具分析法对其政策体系进行分析,并结合规划编制成果对政策进行综合评价,发现其存在以下不足:一是政策体系不完善,主要出台了规划编制相关政策,而在规划实施和监督方面缺乏专门政策;二是政策价值观和政策预期结果超出了政策目标和政策手段所能够实现的范围,政策元素之间具有不一致性;三是政策工具结构不平衡,在规划区域衔接、对上衔接等方面非常薄弱。因此,需要进一步完善政策体系、调适政策元素关系、优化政策工具结构。通过这一研究,以期为深化乡村国土空间规划探索提供借鉴。

一种聚类分析驱动种子调度的模糊测试方法

作为当前被广泛应用的自动化软件测试技术,模糊测试的首要目标是尽可能多地探索被测程序的代码区域以达到更高的覆盖率,从而检测出更多的漏洞或者错误.现有的模糊测试方法大多是根据种子的历史突变数据来调度种子,实现起来比较简单,但忽略了种子所探索程序空间的分布情况,导致测试工作可能会陷入只对程序的某单一区域进行探测,造成测试资源的浪费.提出一种基于聚类分析驱动种子调度的模糊测试方法Cluzz.首先,Cluzz结合种子执行路径覆盖的分布来分析种子在特征空间上的区别,使用聚类分析对种子在程序空间中的执行分布情况进行划分.然后,根据不同种子簇群的路径覆盖模式与聚类分析结果对种子进行优先级评估,探索稀有代码区域并优先调度评估得分较高的种子.其次,通过种子评估得分为种子分配能量,将突变得到的有趣输入保留并进行归类以更新种子簇群信息.Cluzz根据更新后的种子簇群重新评估种子,以确保测试过程中种子的有效性,从而在有限时间内探索更多的未知代码区域,提高被测程序的覆盖率.最后,将Cluzz实现在3个当前主流的模糊器上,并在8个流行的真实程序上进行大量测试工作.结果表明:Cluzz检测独特崩溃的平均数量是普通模糊器的1.7倍,在发现新边缘数量方面,平均优于基准模糊器22.15%.此外,通过与现有种子调度方法进行对比,Cluzz的综合表现要优于其他基准模糊器.

生产要素下乡的障碍性因素及破解之策——基于S县J农业项目的调查研究

城乡要素的双向有序流动是在我国实施乡村振兴的战略背景之下,实现城乡融合发展的关键支撑,而城乡融合则是建立在生产要素双向自由流动的基础之上的,但是当前我国的城乡要素却只呈现出由乡村向城市的单向流动,从城市向乡村的流动还存在着障碍。为了深入研究生产要素下乡的障碍性因素,本文采取案例分析法,通过对S县J农业项目落地过程的考察和分析,研究发现阻碍生产要素下乡的主要障碍性因素为:由于在我国现行的农村土地制度、政策、运行机制之中均存在着与现代农业及乡村旅游业发展不相适应的成分,因而由此引发的农用地供地障碍和农村集体经营性建设用地供地障碍。为了破解生产要素下乡的障碍性因素,本文提出如下建议:1)我国应以土地确权为基础,积极开展对农用地经营权的股份化改革,从而可以将农用地经营权“化零为整”集中管理,最终以达到解决农用地规模化流转困难的目的。2)我国应通过重新研究制定乡镇的行政区划标准,来进行相应的调整改革,从而以打破土地流转的行政壁垒。3)我国应对农村集体经营性建设用地的空间置换机制进行深入改革,并完善相应的土地入市机制,从而可以将农村分散、闲置的集体经营性建设用地整合利用,并可以为生产要素下乡提供足够的空间载体。4)我国应优化农村集体建设用地的空间布局,促使其可以充分发挥出集聚产业要素、保障社会服务、促进文化发展等诸多功能,进而以形成主城区与区域中心镇相结合的空间格局,并可以为生产要素下乡提供畅通的渠道。

城镇化进程中涉农社区乡土文化空间重塑研究

当前,在城镇化进程中,因征地拆迁、农民集中居住、政策性搬迁等原因,产生了大量“涉农社区”,这类社区虽实现了居住方式的城镇化,但居住人群没有改变,仍保留着乡土文化记忆,探索乡土文化空间的重塑,有利于传承乡土文化,提升社区治理水平,探索有中国特色的城镇化之路。研究发现,实施涉农社区乡土文化空间重塑,官方要发挥主导作用、居民要发挥主体作用,要根据乡土文化设计相应空间载体,并与时代文化有机结合。

基于蜕变测试的区块链智能合约漏洞检测方法

针对现有测试方法的缺陷,提出了一种基于蜕变测试的区块链智能合约漏洞检测方法,其能针对区块链智能合约中具体的功能生成针对性的测试用例,从而检测区块链智能合约中存在的漏洞。针对可能出现的安全漏洞,设计了不同的蜕变关系并进行蜕变测试。通过验证源测试用例和后续测试用例之间是否满足蜕变关系,判断智能合约是否存在相关的安全漏洞。实验结果表明,所提方法可以有效地检测出智能合约中存在的安全漏洞。

街道步行环境夜间安全感关键影响因素识别——基于可穿戴生理传感器的感知实验

找出影响街道步行环境夜间安全感的关键因素是提升街道夜间活力的重要前提,确定采用基于生理传感器的现场感知实验方法对关键影响因素进行识别。首先结合相关理论与街道环境整体特征,建立环境自变量;再以可穿戴传感器收集的皮肤电反应(GSR)为安全感测度基础,通过“唤醒-效价”模型得出被试安全感因变量;而后建立夜间安全感的可视化地图,从地图中选取产生不同安全感的环境样本,并以最优子集回归的方法建立识别模型。基于45名被试的现场感知实验结果表明,对夜间安全感产生影响的环境因素可以分为关键影响、非关键影响与无影响因素。而本次实验得到的关键影响因素为建筑内透光、绿视率和街道界面透明度,证明了夜间街道中“自然监视”策略的重要性,同时给出基于提升“自然监视”的街道夜景设计策略。

夏热冬冷地区空间形态对板式住区建筑能耗影响研究——以武汉市为例

住区建筑群能耗不仅受到建筑单体影响,亦与街区空间形态密切相关。为研究空间形态与建筑能耗之间影响机理与居住区节能低碳设计策略,以武汉市为例,选取多层板式住区、二类高层板式住区与一类高层板式住区各14个案例为研究对象,采用Rhino与Grasshopper软件平台进行住区三维模型建模与能耗模拟,并通过相关性分析与多元线性回归方程方法分析住区空间形态参数与建筑能耗之间的影响机理。结果表明:住区制冷与采暖分项能耗以及建筑总能耗与住区空间形态密切相关。体形系数与建筑高宽比对建筑群能耗影响显著,且体形系数对建筑能耗的影响程度是建筑高宽比的2.32倍。研究结果可为低能耗住区规划与节能设计提供数据支撑与理论依据。

“强基”:国土空间规划体系下城乡规划专业GIS课程教学思考

国土空间规划是主体功能区规划、土地利用规划、城乡规划等“多规合一”的空间规划。国土空间规划体系作为全过程全面融合GIS理论和技术的基础平台,为技术标准、基础研究、规划编制、信息平台建设等多个环节提供了有力支撑。在我国构建国土空间规划背景下,面对城乡规划GIS课程教学的“旧疾”与“新题”,“强基”是发挥GIS课程在国土空间规划体系中支撑作用的有效途径。城乡规划专业GIS课程必须进一步强化其在规划中的基础支撑作用,强化GIS基础理论与方法的教学。在教学内容、教学方法及教学组织上需主动革新、与时俱进,寻求与新时代国土空间规划体系相衔接的教学应变途径,不断强化学生的技术实操能力和基础创新意识,以期培养符合新时代国土空间规划体系需求的实用创新型人才。

软件错误注入测试技术研究

软件错误注入测试(software fault injection testing,简称SFIT)技术经过近30年的发展,一直是软件测试领域最活跃的研究内容之一.作为一种非传统的测试技术,在提高软件质量、减少软件危害及改进软件开发过程等方面起着重要作用.对软件错误注入测试的研究现状及动态进行了调研,对该领域相关技术进行了归类及介绍,并对当前较为有效的测试框架和原型工具进行了总结,同时介绍了正在研发的基于SFIT技术的构件安全性测试系统CSTS.在认真分析现有技术的基础上,总结了当前软件错误注入测试存在的问题和面临的挑战,并指出了其未来发展的趋势.

城市规划专业研究性教学体系建构

基于建构主义和人本主义思想的研究性教学是高校本科教育的发展趋势,是创新型人才培养的重要途径,是城市规划学科发展和城市规划建设实践的迫切需求。城市规划专业研究性教学体系的建构,不仅依赖于教学方法体系的变革,同时需要学科知识体系的更新和教学环境支撑体系的重组。

一个组件安全自动化测试平台的设计与实现

研制自动化的组件安全测试工具将对基于组件的软件工程产生重大影响,并能有效保障组件软件的安全性和可靠性,是当今软件业界一个极具现实意义和挑战的课题。针对广泛使用的微软第三方COM组件,设计和实现了一个组件安全性测试的原型系统CSTS(Component Security Testing System)。CSTS主要对组件从静态和动态两个级别进行安全性测试。在静态级别上,先分析出组件接口信息,然后对接口方法从参数个数、参数顺序、参数范围和参数类型等方面进行错误注入测试;在动态级别上,先执行测试驱动,然后对组件所依赖的内存、磁盘文件系统和注册表等环境进行错误注入,再通过强大的监测机制监视错误注入后组件执行情况来判断组件安全异常。所实现的原型系统CSTS具有自动化程度高、操作简单及测试效果较好等优点。

城市空间增长管理研究述评

"城市空间增长管理"是"城市增长管理"概念的具体化与对象的明晰化,城市空间规划必须借助城市空间增长管理才能实现既定的发展目标。通过对国内外相关城市增长管理研究现状的讨论,认为关于城市空间增长管理的研究仍然需要在规范性研究和实证性研究两个层面进一步深入:系统进行中国特色的城市空间增长管理基础理论的研究,强化运用现代技术开展对特定城市空间增长管理效用的实证研究。

基于安全规则变异的Web Services安全性测试方法

针对已有变异测试研究中仅考虑对SOAP(Simple Object Access Protocol)消息输入参数的变异处理,而缺乏对SOAP消息安全规则变异的研究,文中从消息机密性、完整性及身份认证等方面对安全规则进行归类,提出了一种基于安全规则变异的Web Services安全性测试方法.首先给出一种安全规则变异测试框架,研究变异点判定规则库,设计出相应的变异操作算子、漏洞判定准则以及基于优先级与权重策略的变异算子选择方法.然后提出一种基于安全规则变异的测试用例生成算法,依照算法生成违背安全规则的SOAP消息,从而揭露Web Services的安全类故障.最后实现了一个Web Services安全性测试工具WSSTT(Web Services Security Testing Tool),在工具的基础上进行实验和对比分析,验证了文中提出的基于安全规则变异的Web Services安全测试方法的可行性和有效性.

一种构件安全测试错误注入模型

构件特别是第三方构件的可靠性及安全性是影响构件技术发展的重要因素之一.目前在构件安全漏洞的测试方法和技术方面研究还不够深入.提出了一种构件安全测试错误注入模型FI M(fault injection model of component security testing),并对FI M模型的相关定义及其矩阵形式进行了详细阐述,同时基于FI M模型给出了一种错误注入测试用例生成算法TGSM(test-case generating based on solution matrix).TGSM算法根据矩阵形式的FI M模型生成满足K因素覆盖的解矩阵,解矩阵的所有行数据组成了错误注入测试用例.在研究项目CSTS(component securitytesting system)中实现了FI M模型,实验结果表明FI M生成的三因素覆盖错误注入测试用例效果显著,能用适当的测试用例触发绝大部分构件安全异常.FI M模型具有较好的可操作性及可用性.

一种采用接口错误注入的构件安全性测试方法

构件特别是第三方构件的安全性是影响构件技术发展的重要因素.当前甚少将构件安全性问题作为一个专门的课题来研究,也没有确实可行的方法和技术用来检测构件安全漏洞.构件的安全性问题仍然没有得到较好的解决.提出一种基于接口错误注入的构件安全性测试方法.方法首先给出构件脆弱性错误注入算子、断言规则库及其脆弱因子,然后基于错误注入算子和断言规则库给出一种构件安全测试算法.算法根据错误注入算子有针对性地产生测试用例并执行测试,动态监测机制能实时监测构件运行状态及异常信息.算法根据断言规则库、脆弱性因子及异常信息给出构件安全异常报告及构件安全等级.最后在一集成测试平台中实现了该方法,同时做了大量实验,并和FUZZ法进行了对比分析.实验结果表明所提出的测试方法可操作性强,且对构件脆弱性具有较好的检测效果.

城市规划行政救济制度探讨

分析了城市规划行政行为区别于其他行政行为的特征,认为在城市规划行政中应该树立事前救济理念。指出城市规划行政事前救济的途径有:公众参与城市规划编制;对城市规划成果举行审批前听证;对批准的城市规划文件(尤其是详细规划文件)、决定等提请行政复议和行政诉讼,并将行政救济程序纳入城市规划行政编制、审查批准、变更和实施的全过程之中。最后,试图建立城市规划行政过程与行政救济程序的关系框架。

低碳视角下的城市街区空间结构模式探讨

街区是居民日常出行的集中场所,也是组织城市空间结构的基本单元。从居民的出行需求与各类设施的可达性需求出发,建构城市中低碳街区的空间结构,使各功能用地与空间可达性最大效用耦合,并以此为指导建设功能混合的城市街区,有助于减少主干路上的交通拥堵,降低街区内部居民的机动车出行比例,进而降低碳排放量。

神昌注射液稳定性影响因素的考察

目的:考察影响神昌注射液(石菖蒲、冰片)稳定性的因素及最佳稳定性条件。方法:用RP-HPLC法测定神昌注射液在高温、光线、氧气以及pH值等因素的影响下β-细辛醚的含量变化;并用GC-MS法测定其中化学组成的变化;以β-细辛醚的含量为指标,采用L9(34)正交试验优选神昌注射液稳定性条件。结果:温度、光线、空气以及酸碱度等对神昌注射液的稳定性都有一定的影响,其中光线是神昌注射液稳定性的最主要影响因素。结论:神昌注射液最佳稳定性条件是:pH为6.5,避光生产、贮存,不需加抗氧化剂。

从低碳校园到低碳街区——以华中科技大学校园空间变迁为例

通过分析华中科技大学校园空间结构变化对教职员工交通出行方式选择的影响,得出传统单位大院式街区空间结构为人们选择低碳的交通出行方式创造了必要的空间组织条件。进一步提出城市规划要摈弃单一功能的居住大盘、单一功能的工业区、单一功能的中心区,重组城市街区空间结构,建设功能混合的城市街区,减少碳排放。