渐进式的协议状态机主动推断方法

主动协议状态机推断的理论基础为主动自动机学习,所面临的核心问题是字母表的抽象与映射器的构建。同一类型消息取值的多样性可能导致同一类型的数据包存在不同的响应类型,从而导致当前使用类型作为字母表的方法会丢失状态或状态转移。对此,依据不同的响应将协议类型细化为子类型,提出一种渐进式主动推断方法。基于已有协议数据提取协议状态字段,构建初始字母表与映射器,基于主动推断方法得到初始状态机;对数据进行确定性变异,若输入输出类型序列与当前状态机不符,则将变异后数据视为协议子类型,并添加至字母表,同时依据新的字母表进行新的状态机推断。此外,为减少协议实际交互次数,依据协议特性,在主动推断算法的缓存机制基础上提出一种基于前缀匹配的预响应查询算法。实现了开源框架Pro Learner,并以SMTP和RTSP为对象,通过扩展协议子类型获得了更为详细的协议行为,验证了所提方法的有效性;此外,实验结果表明预响应查询算法可有效减少实际交互的次数,平均降低的实际交互次数约为10%。     

模型引导的精准用药：中国专家共识（2021版）

模型引导的精准用药（MIPD）是通过数学建模与模拟技术，将患者、药物和疾病等相关信息进行整合，为患者精准用药提供依据。相较于经验用药，MIPD是一种基于患者生理、病理、遗传、疾病等特征制订给药方案的新方法、可提高药物治疗的安全、有效、经济和依从性。本文对MIPD的基本原理、方法、实施和相关临床决策支持系统的应用作了论述，分析目前的现状和未来的发展方向，以期为MIPD在中国的发展和应用提供有益的参考。     

上海销售：螺蛳壳里做道场

又到一年盘点收获时,中国石油上海销售公司以年销量比上年增加12％、利润比上年增加190％的优良业绩交出了喜人成绩单。数字只是表观的变化,比数字更打动人心的,是公司发展内涵的全面提升。     

上海销售“三升级”喜迎世博

为了充分展示中国石油的良好形象,更好地服务世博会,上海销售全面部署,打响了形象包装改造、安全保卫、经营管理的三大攻坚战,实现了油品质量,加油站外观形象、服务品质的“三升级”。     

基于概率模型的二进制协议字段划分方法

字段划分是协议格式推断的基础,协议格式推断的后续步骤,如报文结构识别、字段语义推断和字段取值约束判定,高度依赖于字段划分质量。二进制协议缺少字符编码和定界符,字段长度取值灵活,值域变化丰富,因此字段划分难度较大。针对相关研究存在的特征构造维度单一和判决规则简单等问题,提出了一种基于概率模型的二进制协议字段划分方法。以二进制协议报文为研究对象,从报文内在结构、报文间取值变化等维度构造字段边界约束关系,然后用概率的方式将各种约束组合在一起,利用因子图模型计算各个位置成为边界的概率,从中得出最有可能的字段边界。实验结果表明,相比传统方法,所提方法在二进制协议字段边界识别中精准度更高、鲁棒性更强。     

零售上量 油卡先行

截至10月底,上海销售加油卡销量较年初增加了5倍,站均售卡2000张。同时,加油卡消费比例占零售销量攀升至30%,实现了"发卡增量"。     

主动自动机学习中的等价查询算法优化

模型学习是一种获取黑盒软件系统行为模型的有效方法,可分为主动学习和被动学习.主动学习是基于字母表构造测试用例,通过与黑盒系统主动交互,可在多项式时间内得到目标系统的最小完备自动机,其中等价查询仍是开发和应用主动自动机学习工具的障碍之一.通过探讨反例对于学习算法的影响,定义假设的比较规则,提出测试用例构造的两个原则,同时依据原则对Wp-method等价查询算法改进,产生更优的假设,有效降低查询的数量,并基于LearnLib开源工具,分别以3类自动机为实验对象验证原则和改进算法的有效性.     

基于指令交换的代码混淆方法

软件程序是按一定顺序排列的指令序列,指令的排列组合构成了千变万化的程序语义.指令顺序重排通常会相应地导致程序语义的变化,通过分析相邻指令序列的相对独立性,可以在不影响程序语义的前提下交换相邻指令序列,增大指令距离,改变程序特征,在一定程度上增加逆向分析代价.通过改进程序的形式化定义论证相邻指令交换的充分条件,采用模拟退火算法实现随机化的指令乱序混淆方法,并将指令乱序方法与虚拟机代码保护技术融合,实现基于指令乱序的虚拟机代码保护系统IS-VMP,使用加密算法实例进行系统测试,验证了指令乱序混淆算法的可行性与有效性.     

选择责任"加油"世博

历史选择了上海,人类文明在这里交流、延续;石油选择了世博,宝石花在这里熠熠发光.作为世博东道主之一的上海销售,则选择了责任,承诺以最优质清洁的油品为世博添绿,以最贴心的服务献礼世博.公司全面部署和实施油品供应、形象包装、规范管理、安全保卫四大攻坚战,实现了油品质量、加油站外观形象、服务品质的"三升级",以卓越的行动兑现了中国石油服务世博的庄严承诺.