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

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

张江涛：从乙方到甲方的蜕变

从1999年涉足IT这个行业开始,张江涛最先担任的工作并非是企业IT人员。而是作为乙方的埃森暂咨询公司的咨询人员．在这段让他难忘的经历中．他接触了来自金融、制造等不同行业的IT需求。     

揭秘“CIO”蜕变

从“架构（Infrastructure）”到“创新（Innovation）”,James Stikeleather对于CIO的解读明显地异于常人,不过他对于“I”理解的转变,却能折射出CIO这个职业的蜕变过程。拥有2000多年文化沉积的敦煌古城,黄沙遍地的大漠风光用它浑厚的历史积韵令游者折服：在敦煌,过客们可以想象古人“劝君更尽一杯酒”的凄美话别,可以观赏“葡萄美酒夜光杯”的灵动妩媚,自然也可以厚积薄发,在悠长的历史中寻找创新的线索。     

深圳皮草业的继承与蜕变

20多年前，中国的皮草业才刚刚开始，而香港皮草业的繁荣和成熟正好填补了中国市场的发展鸿沟，内地对香港从设计、制作工艺到市场销售的继承简直可以用“全部拿来”来形容，而最先开放的深圳毗邻香港，正是这种继承的最佳载体，在深圳早年皮草服装厂全是港资企业就是个例证。而如今内地皮草企业的兴起使得深圳皮草正在发生着质的蜕变，而这种蜕变成功与否的关键在于是继续继承香港皮草的贴牌加工，还是建立自己的品牌。[编者按]     

从技术追求蜕变为网络犯罪--计算机病毒从破坏转向趋利

今年10月17日在“北京市反计算机病毒高峰论坛”上，无论是来白瑞星、江民、金山等国内著名反病毒厂家，还是赛门铁克、卡巴斯基等国外厂家的技术人员，在论坛发言卜许多都认为计算机病毒的发展趋势之一就是从原来破坏、毁火等炫耀技术转变为趋利为主的犯罪行为。     

十六载风雨传承 完美蜕变新征程——访浙江康尔达新材料股份有限公司总经理胡玲玲女士

温州，人杰地灵，无数企业都在这里落地生根、开花结果。在温州工业园区就有这样一家企业：历经16载风雨传承，在执着的信念中寻找到成功的喜悦；饱经一路波折与沧桑，在岁月的记忆里留下了温馨的画面。这就是浙江康尔达新材料股份有限公司（以下简称“康尔达”），中国印刷版材行业最负盛名的领军企业之一。     

胜利油田物资供应处——“保供”香自“苦寒”来

技术上不断充实、管理上不断创新，学术上不断积累，虽然没有现成经验可以借鉴，但胜利油田供应处依然在探索和实践中完成了自己的一次次完美蜕变。     

从配角到主角中国电子政务应用蜕变二十载

近年来。国家一直非常重视国产基础软件的发展。《国家中长期科学和技术发展规划纲要（2006—2020年）》中把“核心电子器件、高端通用芯片及基础软件产品”重大专项（简称核高基专项）确立为推进我国信息技术发展16个重大专项中的核心部分之一。这充分表明了我国发展基础软件，抢占这一战略制高点的决心。     

一大目标、两大变化、四大导向 2008中国家电博览会华丽蜕变

由中国家用电器协会和中国电子企业协会联手主办的2008中国家用电器博览会将于明年4月17～20日在上海光大会展中心隆重举行。中国家用电器博览会的前身为北京中国国际家电展,由中国家用电器协会主办的中国国际家电展历经八届,见证了中     

在突破中前行在蜕变中闪光——湖南省纤维检验局发展纪实

湖南省位于中国中南部，因地处洞庭湖以南得名“湖南”．又因湘江贯穿全境而简称“湘”，自宋以来，人们多以“三湘”代指湖南。湖南自然环境优越，气候宜人．有“鱼米之乡”之美誉．以水稻、棉花、苎麻等农作物种植为主．棉花产量全国排名第八．苎麻产量占全国的60％左右．纺织工业发达。在湖南纤维纺织产业发展进程中，湖南纤检人留下了闪光的足迹。