基于条件随机场的异常协议行为检测方法

针对现有异常应用协议行为检测主要针对某种特定应用,缺乏通用性的问题,提出一种基于条件随机场的异常应用协议行为检测方法,从网络数据流中提取应用协议关键字及其时间间隔作为状态特征,同时考虑关键字的频率分布特征,应用条件随机场模型对协议行为进行建模,将偏离模型的协议行为判定为异常。相比于传统的基于隐马尔可夫模型建模方法,该方法不必对特征量作严格的独立性假设,具有能够融合多特征的优势。实验结果表明,该方法在检测协议异常时准确率高、误报率低。

行政协议行为司法审查规则研究

行政机关履行行政协议,以及单方变更、解除行政协议的行为可被统称为"行政协议行为"。根据《行政诉讼法》及其司法解释,法院在审理行政协议案件时,应对行政协议行为进行合法性审查。在审查行政机关是否"依法履行行政协议"时,应当采传统行政行为司法审查的路径,将依法履行中的"法"区分为实体与程序两个方面;同时,对于为履行行政协议而作出的其他行政行为,也应当进行合法性审查。在审查行政机关是否"按照约定履行行政协议"时,需要先审视约定条款的合法性,再将其作为审查依据。行政机关单方变更、解除行政协议的权力源自行政机关的优益权(特权),其行使需要以公共利益为首要前提。行政机关单方变更、解除行政协议的行为不仅能够获得行政法语境下的合法性评价,还会对行政协议法律关系的存续产生影响。

基于DSPN的SIP协议行为模型

会话启动协议SIP作为推荐的Internet会议和VoIP信令控制协议,在RFC中没有严格地给出其行为的形式化模型。论文利用确定与随机Petri网(deterministicandstochasticPetrinets,DSPN)给出了SIP核心事务的形式化模型,为进一步的协议分析和实现奠定了基础。

两岸授权民间团体的协议行为研究

两岸协议行为是国家统一前,两岸特定民间团体接受官方授权或者委托,就解决两岸交往中衍生的具体问题进行商谈,达成相关协议的法律行为。两岸协议行为的产生有其内在逻辑——它源于秩序建构之需要,基于一中原则之确立,成于双向需求之均衡,在形式上具有民间性、事务性、功能性的特点。两岸法制的差异在很大程度上决定了两岸对协议行为的主体、授权及效力等的不同定位。现阶段,在祖国大陆,两岸协议无论采取何种方式加以实施,都只具有相当于部委规章或最高法院司法解释的效力。台湾当局将两岸协议定位为“准国际条约”、“准行政协定”,是其将两岸关系等同于“准国际关系”的必然结果,这种有悖一个中国原则的政策立场是台湾当局迄今拒绝回归“九二共识”的一个重要原因。

价格协议行为及其管理

价格协议行为及其管理王传仕，唐淑坤一、价格协议的形式企业为了各自的利益，展开激烈的竞争，又为了减少风险，有时相互之间达成一定的协议。其中价格协议就是一种常见的方式．价格协议的表现是：不同企业产品价格的调整和价格变化是一致的，包括产品的出厂价和批发价一...

基于正则表达式的协议行为审计技术研究

协议行为审计技术通过在线深度解析应用层协议来分析用户行为并进行审计,为人工分析监测网络安全事件提供依据,达到增强网络安全的目的。重点探讨了利用正则表达式进行协议行为解析的技术,并提出一个灵活、可扩展的协议行为审计技术框架。基于该技术框架实现了一个支持HTTP协议、SMB协议和TNS协议的协议行为审计系统,通过详细的实例介绍阐明了利用正则表达式进行协议行为解析技术在该系统中的运用过程。最后,该系统的测试结果验证了基于正则表达式的协议行为审计技术的有效性。

国家市场监督管理总局关于《禁止垄断协议行为的规定(征求意见稿)》公开征求意见的公告

为全面贯彻落实党和国家机构改革精神,做好反垄断统一执法工作,预防和制止垄断协议行为,市场监管总局起草了《禁止垄断协议行为的规定(征求意见稿)》,现向社会公布征求意见。公众可登录中国政府法制信息网(网址:http://www. chinalaw. gov. cn),进入首页'立法意见征集'栏目提出意见。意见反馈截止日期为2019年2月7日。

行业协会实施垄断协议行为的民事责任

《反垄断法》对于经营者从事垄断协议行为的民事责任做了初步的规定。鉴于行业协会从事限制竞争时,存在垄断协议行为类型特殊、社会危害行较大、隐蔽不易察觉的特点,其民事责任的承担也与一般企业从事垄断协议行为的责任承担存在不同。应当在学理上进一步细化关于行业协会实施垄断协议行为的民事责任的规定。具体而言,应当对原告起诉资格、责任主体、私人实施途径等问题进一步细化。

论垄断协议帮助行为的违法性认定

《反垄断法》新增第十九条,对帮助达成垄断协议的行为人实施惩戒,填补了原有垄断协议规则追责对象涵盖不足的漏洞。但新《反垄断法》仅通过“实质性帮助”表述概论帮助行为违法性,过于抽象,现实操作性较差,需要进一步释明,分界违法帮助行为与中立帮助行为。抽象到法理层面,具有可谴责性的垄断协议帮助行为应当具备“不法”与“有责”两大属性。在此基础上,可以抽象出垄断协议帮助行为应当满足五大构成要件:第一,行为人具有主体独立性;第二,行为人实施了具体帮助行为;第三,帮助行为具有促成垄断协议和竞争损害的双重效果;第四,帮助行为与行为双重效果之间具有因果关系;第五,行为人有促成帮助的主观故意。

构件行为协议实时性扩展及相容性验证

对复杂实时构件系统行为进行形式化描述和相容性验证,可以有效提高系统的正确性、可靠性。分析了学术界和工业界的主流构件模型及常见时间行为的形式化描述方法,对构件行为协议BP(Behavior Protocol)进行了扩展,提出了时间行为协议TBP(Ti med Behavior Protocol),分析了构件组合中常见的相容性错误类型,给出了基于时间行为协议的构件组合相容性验证算法。TBP应用简洁、方便、易于验证。结合具体例子给出了应用示例。

基于协议的实时构件行为一致性验证

对复杂实时构件系统行为进行形式化描述和一致性验证,可以提高实时构件的可复用性和系统的正确性、可靠性。分析了时间行为协议TBP(Timed Behavior Protocol)及其它学术界和工业界常用的时序行为形式化描述方法,对实时构件替换理论进行了讨论,给出了基于时间行为协议的构件一致性验证算法并对其进行了分析。

基于依赖性分析的对象行为协议逆向恢复

对象行为协议对于理解对象行为语义、对象行为验证、测试以及指导其他开发者正确使用对象所提供的外部行为都有十分重要的意义。然而在很多遗产系统中,对象行为协议常常缺失或随着长期的代码维护而出现不一致。针对这一问题,本文提出了一种静态的对象行为协议逆向恢复方法。该方法首先通过源代码分析获取对象(类)内部各方法之间直接和间接的依赖关系,然后在对象(类)内部依赖关系的基础上构建行为协议状态机。由于对象(类)内部的依赖关系是对象行为约束的主要根源,而静态分析具有全面、准确的优点,因此该方法获得的行为协议具有较好的准确性,而相关的实验结果也很好地验证了这一点。

基于模型转换实现行为协议的研究

为平台无关的UML模型元素(如类、接口)增加行为协议通常没有有效的解决方法。提出了一种基于模型转换实现行为协议的方法,编写了模型转换规则将状态机描述的行为协议元数据自动转换为UML操作元素的约束,运用OCL验证器和代码生成器对转换后的UML模型进行自动验证和代码生成。该方法为行为协议的自动验证、与模型元素同步和规范的正确实施提供了有效支持。

时间行为协议状态空间约减算法

对复杂时间行为协议状态进行约减对于缓解形式化验证的状态空间爆炸问题,提高验证工具系统的效率、实用性等具有重要意义。分析了实时构件组合的几种形态,对基于时间行为协议的组合理论和状态空间爆炸问题进行了讨论,给出了时间行为协议的状态空间约减算法并进行了分析,给出了示例。

基于行为协议的构件软件静态测试研究

系统的静态分析能在设计开发阶段发现错误,从而避免了在运行时错误检测技术在系统执行期间带来的负面影响。基于尽可能避免静态错误这一构件测试策略的基本思想提出了一种对构件化软件系统进行静态测试的方法。采用通信模型对数据库服务构件系统进行抽象建模,并结合用于描述构件系统中构件之间交互的形式化方法行为协议,通过对构件系统构件行为协议的一致性验证,从而测试构件交互的正确性。

消息和指令分析相结合的网络协议异常行为分析

关注协议的异常行为,将协议传递的原始消息和实现协议的程序二进制代码均作为分析对象,采用动态污点分析和静态分析相结合的方法,先在自行设计的虚拟分析平台Abnormal Disc原型系统上监控和分析协议程序解析消息的过程,记录协议的公开行为,再利用提出的异常行为感知和挖掘算法,静态分析协议的异常行为触发条件和异常行为指令序列,最后根据异常行为触发条件生成带有敏感信息的协议新消息,动态触发异常行为的执行。Abnormal Disc原型系统可以感知并触发协议的异常行为,根据统计分析的结果,提出了协议运行安全性的评估方法。实验结果表明,利用所提供的方法可以比较准确地挖掘协议的异常行为,并能够对协议运行的安全性进行评估。

工商行政管理机关禁止垄断协议行为的规定

国家工商行政管理总局令第53号《工商行政管理机关禁止垄断协议行为的规定》已经中华人民共和国国家工商行政管理总局局务会议审议通过,现予公布,自2011年2月1日起施行。

离婚协议中涉他行为的性质及法律适用

婚姻关系破裂,夫妻双方以离婚协议书的方式解除婚姻关系时,离婚协议中涉及的将夫妻共有财产归子女所有的约定,究应认定为何种性质,是赠与合同还是涉他合同,学界存在较大分歧,司法实务中的处理也不尽相同。基于对第三人利益的保护以及法律适用的可操作性,将这一行为认定为赠与合同或赠与意思表示,更为合理。

垄断协议的组织帮助与组织帮助的垄断协议——兼辨新《反垄断法》第19条的体系定位

新《反垄断法》第19条的设立是对轴辐协议等组织帮助型垄断协议的回应,但这并不代表该条款的定位就是组织帮助型垄断协议条款。垄断协议组织帮助行为与形式构造上的组织帮助型垄断协议具有部分与整体的逻辑构造,前者是后者的构成要件之一;与实质构造上的组织帮助型垄断协议具有方式过程与目标结果的逻辑关系,垄断协议组织帮助行为不属于垄断协议行为范畴。新《反垄断法》第19条从语法结构、立法目的与体系逻辑上看,均应解读为经营者的垄断协议组织帮助行为条款,与第21条、第44条一并构成垄断协议组织帮助行为条款的子条款,而非组织帮助型垄断协议条款。垄断协议组织帮助行为与实质构造层面的组织帮助型垄断协议应实行二元规制路径,即垄断协议组织帮助行为条款与垄断协议基本类型条款二元规制。

基于模型检测的OpenFlow多交换机数据包转发协议的分析与验证

OpenFlow协议是SDN网络中控制平面与数据转发平面之间进行交互的规范与标准,其正确性将直接影响到整个网络功能的实现。通过模型检测技术实现一种验证OpenFlow协议正确性的形式化方法。首先提取OpenFlow协议的核心子协议,即OpenFlow多交换机数据包转发协议作为验证的实例;然后运用协议行为自动机对该子协议进行形式化建模,并且通过时态逻辑描述协议需要进行验证的性质;最后给出算法验证协议模型是否满足给定的性质要求,以此检测OpenFlow协议是否存在正确性漏洞,以便对其进行修正。