对贪污债权行为的认定

根据我国刑法第三百八十二条的规定,贪污罪的犯罪对象是公共财物。然而随着国有企业的改制,出现了大量隐匿债权的行为,对于这一行为能否以贪污罪来认定,成为理论和实践中争议的话题。因此,对这一问题的探讨具有重要的意义。     

论无权处分行为的效力

无权处分制度是民法学上一项十分复杂的制度。《合同法》第51条规定:无处分权的人处分他人的财产,经权利人追认或者无处分权的人订立合同后取得处分权的,该合同有效。《合同法》颁布后,学者就无权处分行为的效力展开了激烈的争辩。关于其效力问题,主要有三种学说,即区分负担行为说和处分行为说、完全无效力说和效力待定说。     

美国与塔利班达成初步和平协议

2月29日,美国与阿富汗塔利班达成和平协议。根据协议,美国将在未来14个月内分两阶段撤军,塔利班做出明确的反恐承诺,阿富汗人将在3月10日启动内部对话。这是2018年美塔启动直接谈判以来取得的最大成果,彰显双方以谈判结束武装冲突的政治意愿,为饱受战火蹂躏的阿富汗带来了和平希望。然而,阿富汗距离最终铸剑为犁仍有若干不确定因素。     

论民法上的负担行为与处分行为

负担行为与处分行为是法律行为制度中的基本范畴,其源于“抽象物权契约”理论,成为德意志法系样式的标志,被视为民法上的“任督二脉”。此“任督二脉”的概念、区别、存在的理论基础及效力认定,均为物权行为理论的展开。德国的物权行为理论与立法的实践,对于我国未来物权法是否区分债权行为与物权行为,有重要的认识价值。     

富国穷国都让步才能达成减排协议

就技术和成本而言，应对气候变化问题比许多人想象得都要简单。气候变化造成的具体损害并不确定，所以很难说服人们在应对气候变化方面投资。然而，也正是由于这种不确定性，人类才有必要认真对待气候变化问题。如果我们确信温度将升高2～3℃，那么就应当采取相应的措施。问题是我们现在根本不知道温度将升高多少。联合国政府间气候变化专门委员会（IPCC）预测，到本世纪末，温度可能上升1．1～6．4℃。如果温度只升高1．1℃，     

关于达成两岸和平协议的几点思考

在刚刚闭幕的中国共产党十七大上,胡锦涛总书记首次把达成两岸和平协议的主张载入的正式政治文件中,明确阐述了两岸关系和平发展统一的政策立场.结合十六大以来胡锦涛总书记历次涉台讲话及两岸关系发展的现状,两岸达成和平协议是必要的,也是可能的,也必须认识到"台独"分裂势力是达成和平协议的最大障碍.达成和平协议,应做好几点工作:首先要促进在"九二共识"的基础上,尽快恢复两岸平等谈判;其次是推进两岸"三通",开创两岸经济交流和合作的新局面;再次是做好台湾人民的工作;第四是建立最广泛的反"独"统一战线.     

基于SPIN的SAS协议和NS公钥协议分析

给出SPIN模型检测协议的验证步骤,使用其分析验证SAS协议的安全属性和数据流行为属性,以及NS公钥协议的机密性和认证性.结果成功发现SAS协议数据流的缺陷和NS公钥协议的攻击路径.     

诈骗行为、陷入错误与处分行为之因果关联

诈骗行为、陷入错误和处分行为三者接续的因果关联,对于诈骗罪犯罪形态的判断举足轻重;被害人教义学建立的理论模型确有不当之处,但在诈骗罪两对因果关联的判断上却拥有其显见的贡献;以伦勃朗案作为引子,检视被害人教义学的有益观点,在规范刑法学框架下实现两对因果关联的妥当判断。     

农村基层组织涉农职务犯罪调查分析

农村基层组织作为推进社会主义生态文明村建设进程的中坚力量,有着举足轻重的地位和作用。在司法实践中,农村基层组织中涉农职务犯罪行为频发,严重损害了农村经济发展和农民生产生活的积极性。该文通过对当前农村基层组织涉农职务犯罪特点的阐述及违法现状成因的分析,体现出对农村基层组织涉农职务犯罪行为进行监督的必要性和紧迫性,在列举了现有的对农村基层组织涉农职务犯罪实行监督模式的同时,结合实践的一些做法,提出构建防治农村基层组织涉农职务犯罪长效机制的设想。     

协议分析在入侵检测中的应用

目前大多数入侵检测系统采用的是特征分析技术,该类系统漏报误报率高,检测速度低,准确性差,而协议分析技术能够提高入侵检测系统检测的准确性,降低漏报和误报率,提高检测速度。     

富迪：与两大功夫巨星达成初步合作协议

近日，北京药监局根据《中华人民共和国食品安全法》（中华人民共和国主席令第九号），《保健食品注册管理办法（试行）》（国家食品药品监督管理局令第19号）等的相关要求，决定建立保健食品专家委员会。     

基于IRIS软件的FTP协议分析

利用IRIS协议分析软件剖析FTP网络协议的结构和作用,使枯燥的理论变成生动的实例,从而让网络学习者更加直观的理解协议在计算机网络通信过程中的重要地位。     

群密钥协商协议的效率分析

给出了两类群密钥协商协议的效率比较,它们分别是基于口令群密钥协商协议和基于双线性对群密钥协商协议。比较的结果为对密钥协商协议的安全性分析,形式化证明及设计更有效、更安全的群密钥协商协议提供了很大的帮助。     

中美达成第一阶段协议：关税冰墙开始融化

<正>促进全球经济发展的"强心针"2019年12月13日,中美两国政府分别以新闻发布会和公开书面声明方式确认,中美两国确认达成第一阶段经贸协议。协议包括序言、知识产权、技术转让、食品和农产品、金融服务、汇率和透明度、扩     

安全协议形式化分析与展望

本文介绍了安全协议形式化分析的国内外研究现状,对各种形式化方法进行了总结概述,介绍了安全协议形式化分析中小系统理论和简化转换的研究,指出了当前形式化分析中还存在的一些问题和研究思路。     

无线传感器网络 MAC 协议分析

介质访问控制(Medium Access Control,MAC)协议是保证无线传感器网络高效通信的关键网络协议之一.本文首先介绍了无线传感器网络及其MAC协议,其次对典型的MAC协议进行了分类描述,最后对MAC协议进行了对比分析,并对其未来发展方向进行了展望.     

面向变异分析的协议安全测试方法

在基于构造类别代数的协议描述上引入变异分析方法,由此提出了一种基于错误模型的协议安全测试方法.通过设计针对构造类别代数的变异算子,限制了协议中的错误集合;应用变异算子生成变异体集合,并消除其中的等价变异体;基于变异体构造安全测试例.同比研究表明,采用基于错误模型的变异分析方法,可以有效解决协议安全测试中忽视协议数据流处理过程、错误集合无限和缺少结果判断机制等问题,限定协议可能存在的错误集合,有利于测试的量化和评估,能够更有针对性地进行测试例构造和测试结果判断,提高测试能力.     

基于协议分析技术的TCP安全研究

TCP/IP是互联网的基础协议,对协议分析技术及TCP基本结构作了概要分析,并以此为基础重点分析研究了TCP SYN洪水(类别:拒绝服务)攻击原理.     

将协议分析软件引入计算机网络教学

计算机网络教学普遍面临着内容抽象、难以理解和无法操作、缺乏实践的问题,本文尝试将网络协议分析软件引入教学之中,较理想的解决了以上问题.