公共文化服务平台

陈厅: 作品数：56 被引量：14H指数：2; 供职机构：电子科技大学更多>>; 发文基金：国家自然科学基金中国博士后科学基金四川省自然科学基金更多>>; 相关领域：自动化与计算机技术文化科学电子电信更多>>

合作作者

一种基于污点不变集的污点分析方法: 一种基于污点不变集的污点分析方法，包括如下步骤，步骤1：通过污点分析方法，获得原始污点数据original_set；步骤2：获得污点不变集invariable_set；步骤3：获得最终污点数据taint_set，最终污点...; 牛伟纳张小松赖特陈瑞东王东陈厅冀风宇李杰; 文献传递

基于节点失效的洋葱路由匿名链路控制方法被引量：5: 2015年; 针对洋葱路由(Tor)随机选路算法选取的通信路径不可控制,进而导致匿名技术滥用和溯源方法失效的问题,提出了一种基于节点失效的Tor匿名链路控制方法。通过发送伪造的TCP复位信息模拟节点失效,从而不断让Tor客户端重新选路,并最终选择到受控链路,来达到有效链路控制的目的。对Tor网络选路算法的理论分析和在拥有256个洋葱路由组成的私有Tor网络中的实际测试结果表明,与传统部署高带宽路由吸引用户选中受控节点的方法相比,该方法在Tor客户端默认开启入口守卫的情况下,将传统方法选择受控入口节点的概率由4.8%提高到约60%。实验结果表明,随着受控链路长度的增大,链路建立的成功率会降低,因此所提方法适用于控制较短链路的情形。; 卓中流张小松李瑞杏陈厅张景中; 关键词：洋葱路由选路算法

一种针对EOSIO智能合约的漏洞检测方法及系统: 本发明公开了一种针对EOSIO智能合约的漏洞检测方法及系统，属于区块链智能合约技术领域。对EOSIO智能合约进行灰盒测试，发现并报告EOSIO智能合约中存在的安全漏洞，用以提升区块链中智能合约的安全性，减少因智能合约安全...; 刘洋洋周健飞陈厅蒋天星宋书玮程曦吴昊

一种隐式污点传播系统及其方案: 本发明公开了一种隐式污点传播系统及其方案，系统包括控制流图生成装置，用于对输入的被测试应用程序进行处理生成该应用程序的控制流图；立即后支配树生成装置，用于对输入的被测试应用程序的控制流图进行处理输出该被测试应用程序的立即...; 陈厅张小松郭世泽王为尉牛伟戴卫国; 文献传递

基于全局超级块支配图的动态符号执行方法及其装置: 本发明提供了一种基于全局超级块支配图的动态符号执行方法及其装置，属于计算机软件测试和软件安全领域。方法如下：获取被测可执行程序的控制流图，按支配关系相关理论转化为超级块支配图。对图中每个节点标“权”，并在每次符号执行前更...; 张小松陈厅吉小丽牛伟纳陈瑞东王东; 文献传递

系统与网络软件安全专题前言: 2024年; 近年来,随着移动通信、云计算、人工智能、区块链等技术的快速发展,传统系统软件与网络应用被赋予新特性和新场景,新兴系统软件与网络应用也不断涌现.与此同时,各类系统攻击、网络犯罪等安全问题频繁发生,给社会和国家安全带来了极大的危害.; 向剑文陈厅王浩宇罗夏朴杨珉; 关键词：网络软件网络应用区块链系统软件网络犯罪移动通信

DEALS——追踪代币转账信息不一致: 2024年; 区块链使传统的交易所和借贷机构能够扩展到去中心化平台(decentralized platform,Depl),任何人都可以在没有中介机构帮助的情况下进行交易和借贷.大多数Depl都是作为运行在以太坊上的智能合约实现的,并与另一种智能合约、加密货币(即代币)交互,以实现各种功能.尽管Depl涉及价值超过350亿的美元,但人们对代币的实际转移是否如Depl预期的那样一致知之甚少.代币的实际转移与Depl期望的不一致被称为行为不一致,这种不一致的出现将导致财产的损失和用户的质疑.在这项工作中,我们迈出了调查Depl和代币之间的这种不一致的第一步.我们提出通过监控Depl和代币的核心数据结构变化,将实际的代币转移行为与Depl内部记录指示的行为进行比较,自动检测不一致.实验结果表明,在1 012 749笔交易中存在不一致行为,涉及2 871对Depl和代币,与110个Depl和2 544个代币相关.实验结果的精准度为98.0%.此外,还总结了导致不一致的10大原因,例如诈骗Depl、Depl与代币尺度不一致、锁币规则不明确等.; 姜人楷宋书玮罗夏朴陈厅罗瑞杰王炳森乔翱; 关键词：区块链

一种跨链交易路由节点选择方法与装置: 本发明公开一种跨链交易路由节点选择方法与装置，属于区块链领域，用于区块链之间交易时的路由节点选取，包括：跨链交易请求节点探测与其邻居节点间的链路，更新邻居节点数据信息；向邻居节点发出跨链交易请求；收集邻居节点交易手续费报...; 曹晟张谦熊光浩党思旋陈润泽陈厅张小松; 文献传递

一种针对嵌入式软件的测试用例自动化生成装置及其方法: 本发明公开了一种针对嵌入式软件的测试用例自动化生成装置及其方法，属于软件测试技术领域，包括符号执行核心模块、路径选择模块、求解器、调试器、实际执行核心模块和调试代理模块。被测试软件、测试用例通过调试器和调试代理从主机系统...; 陈厅张小松王东陈瑞东牛伟纳汪小芬; 文献传递

一种基于蠕虫传播行为的蠕虫检测方法: 本发明公开了一种基于蠕虫传播行为的蠕虫检测方法，其特征在于，包括以下步骤：①数据包采集：实时采集网络上的数据包；②失败连接判别：根据采集到的数据包判断源计算机是否是第一次向目标计算机发起连接，如果是则记录在首次连接表中；...; 张小松陈厅陈大鹏王霄麟黄磊; 文献传递