检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

基于系统调用属性的程序行为监控

计算机研究与发展 2012年第8期49卷 1676-1684页

作者：李珍田俊峰杨晓晖河北大学数学与计算机学院网络技术研究所河北保定071002

程序的行为轨迹常采用基于系统调用的程序行为自动机来表示.针对传统的程序行为自动机中控制流和数据流描述的程序行为轨迹准确性较低、获取系统调用上下文时间开销大、无法监控程序运行时相邻系统调用间的程序执行轨迹等问题,提出了基... 详细信息

程序的行为轨迹常采用基于系统调用的程序行为自动机来表示.针对传统的程序行为自动机中控制流和数据流描述的程序行为轨迹准确性较低、获取系统调用上下文时间开销大、无法监控程序运行时相邻系统调用间的程序执行轨迹等问题,提出了基于系统调用属性的程序行为自动机.引入了多个系统调用属性,综合系统调用各属性的偏离程度,对系统调用序列描述的程序行为轨迹进行更准确地监控;提出了基于上下文的系统调用参数策略,检测针对系统调用控制流及数据流的行为轨迹偏离;提出了系统调用时间间距属性,使得通过系统调用及其参数无法监控的相邻系统调用间的程序行为轨迹在一定程度上得到了监控.实验表明基于系统调用属性的程序行为自动机能够更准确地刻画程序行为轨迹,较传统模型有更强的行为偏离检测能力.

关键词：程序行为异常检测系统调用自动机时间间距

在线全文

学校读者我要写书评

暂无评论

程序行为的可诉性研究

程序行为的可诉性研究

作者：张琦武汉大学

学位级别：硕士

行政程序中行政主体作出的程序行为应当依附于实体决定一并接受司法审查,这在我国立法中已经得到体现,司法实践中也已成为一项共识。但在依法治国的背景下,行政执法程序的形式逐渐多样化,内容也更加精细化,公民权利意识也随之不断增强... 详细信息

行政程序中行政主体作出的程序行为应当依附于实体决定一并接受司法审查,这在我国立法中已经得到体现,司法实践中也已成为一项共识。但在依法治国的背景下,行政执法程序的形式逐渐多样化,内容也更加精细化,公民权利意识也随之不断增强且对司法救济的期待越来越高,近年来开始出现行政相对人针对程序行为单独向法院提起诉讼的案件。法院最初以此类案件不属于人民法院受案范围为由,拒绝对其进行审查,而随着学界对行政行为的研究逐渐从静态化转变为动态化,法院也逐渐意识到一律将程序行为拒之门外并不能全面保护公民、法人和其他组织的合法权益,因此逐渐承认了一定条件下程序行为的可诉性。尽管如此,立法并没有将程序行为可诉的标准统一起来,导致实践中各法院对该问题判断不一。本文正是在这一背景下进行探讨,通过阐释行政程序中程序行为的相关理论知识,在分析典型案例的基础上发现实践操作中存在的不足,并借鉴域外先进经验,对目前我国法院所采用的程序行为之可诉性标准进行梳理整合,进一步完善程序行为的可诉性标准。本文共分为五个部分:第一部分:阐述程序行为的基本理论,通过分析程序行为的内涵、特征、表现形式、性质,并将其与相关概念进行辨析,为下文分析其可诉性做好理论铺垫。第二部分:对程序行为单独接受司法审查所需要的前提进行考察,并分为必要性考察和可行性考察两部分。其中,必要性考察主要揭示了程序行为单独接受司法救济的必要性,分析得出程序行为一定条件下可诉有益于实现行政诉讼法的立法目的。可行性考察则主要解决如何化解程序行为单独接受司法审查所面临的成熟性原则和效率原则的考验难题。第三部分:对程序行为的可诉性进行规范解读,包括国内立法规定的解读和域外相关规范解读。其中,第一节梳理了我国立法对程序行为的可诉性所作的规定,得出立法规范对此问题的基本态度。第二节介绍德国《行政法院法》、美国《行政程序法》的相关规定,并与我国的相关规定进行比较分析,总结我国立法规定存在的不足之处。第四部分:分析实践中出现的典型案例,对其所适用的程序行为的可诉性标准进行现状考察,并根据案例总结司法适用现状中存在的问题。第五部分:对程序行为可诉性的认定提出了完善意见。即首先要严格执行立案登记制,对符合条件的程序行为进行立案。其次要辨明程序行为的本质属性,已经构成行政行为的程序行为明确其当然可诉。最后为方便实务操作,应当对程序行为的可诉性建立起“适时救济必要性”标准和“提前审查可行性”标准。

关键词：程序行为可诉性行政行为权利救济

德国行政诉讼中内部行为、程序行为的可诉性--管窥司法审查的边界

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

行政法学研究 2018年第2期 114-124页

作者：龙非北京市第一中级人民法院北京100040

德国行政诉讼中对于内部行为的审查标准,采取所谓主观目的或者法规范目的标准,而不以内部行为是否对外客观产生影响为标准;对于行政程序中的中间行为,也在行政程序法中明确予以规定,原则上不能单独作为司法审查的标的,以保障行政机关在... 详细信息

德国行政诉讼中对于内部行为的审查标准,采取所谓主观目的或者法规范目的标准,而不以内部行为是否对外客观产生影响为标准;对于行政程序中的中间行为,也在行政程序法中明确予以规定,原则上不能单独作为司法审查的标的,以保障行政机关在行政程序中的主导者地位。这些裁判标准或者法律规定,体现的是司法权审查和干预行政权的边界,司法机关对行政权的自我运行保持充分的尊重,对行政权的监督采取克制的立场,以避免司法权过分干预行政权。这些理念对于更加客观理性地认知行政审判的功能和作用,具有重要的借鉴和参考价值。

关键词：行政诉讼内部行为程序行为可诉性

在线全文

学校读者我要写书评

暂无评论

一种基于环境约束的异常程序行为模型

计算机科学 2010年第5期37卷 112-114,142页

作者：何加浪徐建张宏南京理工大学计算机科学与技术学院南京210094 南京大学计算机软件新技术国家重点实验室南京210093

在控制流模型中加入影响程序运行的环境因素,结合静态分析方法的优点,建立了程序异常行为分析模型,用以标记函数调用指令,并在动态运行时进行返回值一致性约束,从而解决了一般方法回避函数指针导致的间接调用问题。同时根据程序的局部... 详细信息

在控制流模型中加入影响程序运行的环境因素,结合静态分析方法的优点,建立了程序异常行为分析模型,用以标记函数调用指令,并在动态运行时进行返回值一致性约束,从而解决了一般方法回避函数指针导致的间接调用问题。同时根据程序的局部运行原理,将分析范围限定在函数范围内。实验结果表明模型具有较好的精确性和较低的性能影响。

关键词：控制流运行环境程序行为

在线全文

学校读者我要写书评

暂无评论

侦查讯问程序规则和程序行为研究

山东警察学院学报 2016年第4期28卷 135-141页

作者：王睿南京森林警察学院侦查系江苏南京210023

对侦查讯问的程序规则和程序行为进行要素分析有利于深入理解有关侦查讯问的程序法。我国侦查讯问程序规则体系已经基本形成,包括不得强迫自证其罪规则,律师辩护规则,全程录音录像规则,讯问时间、地点规则,讯问程序规则和非法证据排除... 详细信息

对侦查讯问的程序规则和程序行为进行要素分析有利于深入理解有关侦查讯问的程序法。我国侦查讯问程序规则体系已经基本形成,包括不得强迫自证其罪规则,律师辩护规则,全程录音录像规则,讯问时间、地点规则,讯问程序规则和非法证据排除规则。侦查讯问程序行为是通过上述程序规则建构出来的,是法定的要式行为或是法定的行为模式的履行。其通过对相关角色的行为模式进行设定和调节,规定相应行为的条件、顺序、方式,从而促使犯罪嫌疑人如实供述。

关键词：侦查讯问程序规则程序行为犯罪嫌疑人

在线全文

学校读者我要写书评

暂无评论

现行行政登记制度的法律角度再审视

河南工业大学学报(社会科学版) 2024年第2期 95-101+115页

作者：黄信瑜孔秋石安徽财经大学法学院

社会关系日益复杂，行政登记作为日常生活中的一项重要行政行为在我国目前的立法、理论和司法上存在的问题越来越多。行政登记研究并未随着登记内容、形式的变化而变化，从而造成学理与现实的冲突。对于行政登记的研究，应当立足于广义... 详细信息

社会关系日益复杂，行政登记作为日常生活中的一项重要行政行为在我国目前的立法、理论和司法上存在的问题越来越多。行政登记研究并未随着登记内容、形式的变化而变化，从而造成学理与现实的冲突。对于行政登记的研究，应当立足于广义行政行为理论，在确立行政登记为程序性行政行为的基础上，对其在立法和司法方面进行完善。

关键词：行政登记程序行为广义行政行为

来源：博看期刊

在线全文

学校读者我要写书评

暂无评论

对计算机系统中程序行为的分析和研究

计算机应用 2005年第12期25卷 2739-2741页

作者：朱国强刘真李宗伯国防科学技术大学计算机学院湖南长沙410073

对程序行为的三种提取方法进行了分析比较,并采用LKM(LinuxKernelModule)方式对程序行为进行提取分析。从字符串参数长度分布,字符串参数字符特征分布及特殊系统调用参数三个方面来对系统调用参数进行分析,丰富了程序行为分析手段,提高... 详细信息

对程序行为的三种提取方法进行了分析比较,并采用LKM(LinuxKernelModule)方式对程序行为进行提取分析。从字符串参数长度分布,字符串参数字符特征分布及特殊系统调用参数三个方面来对系统调用参数进行分析,丰富了程序行为分析手段,提高了程序异常检测精度。

关键词：程序行为系统调用参数 Linux内核模块

一种基于Linux的程序行为异常检测系统的研究与开发

在线全文

学校读者我要写书评

暂无评论

制造业自动化 2010年第12期32卷 1-3页

作者：涂俊英孝感学院计算机与信息科学学院孝感432000

本文基于Linux平台,阐述了在LSM数据源的支持下构建隐马尔可夫模型的检测方法,并最终实现了在Linux平台下的异常检测原型系统,主要目的在于在异常检测方面降低误报率,取得更好的检测效果。

关键词： Linux 程序行为异常检测

在线全文

学校读者我要写书评

暂无评论

基于程序行为模糊模式识别的病毒检测研究

基于程序行为模糊模式识别的病毒检测研究

作者：郭旭亭青岛大学

学位级别：硕士

近几年来随着计算机技术及网络技术的发展和普及,使得计算机病毒也以惊人的速度蔓延开来,计算机安全越来越受到人们的重视,也不断促进着计算机反病毒技术的发展。当今最新最先进的计算机反病毒技术,有主动内核技术、启发式代码扫描技术... 详细信息

近几年来随着计算机技术及网络技术的发展和普及,使得计算机病毒也以惊人的速度蔓延开来,计算机安全越来越受到人们的重视,也不断促进着计算机反病毒技术的发展。当今最新最先进的计算机反病毒技术,有主动内核技术、启发式代码扫描技术、虚拟机技术、基于免疫原理的病毒检测技术等。这些技术各有特点,但应用起来仍然不够成熟。现有计算机反病毒软件虽然在对抗病毒方面发挥了巨大的作用,但是仍有不尽人意之处,尤其是对付未知病毒缺乏足够有效的方法。对安全、高效的病毒检测方法的研究不仅具有重要的科研学术价值,而且对国家的信息安全、金融机构的信息化建设和国民经济的发展也具有重大的意义。论文主要对Windows操作系统下各种病毒的作用机理及当前典型病毒所采用的各种新技术进行了深入探讨,提出一种新的基于程序行为的未知病毒检测方案,为实现对未知病毒的有效检测进行有益的探索。首先,分析当前信息安全的现状、着重分析了病毒的传播与发展;介绍了已经出现的各种主要反病毒技术模型、关键技术和主要特点。并着重分析了基于程序行为的病毒检测技术。其次,深入研究当前常见病毒程序的典型程序行为,总结出了不同病毒程序传染和发作的典型行为特征;深入研究基于系统调用的检测方法,并对将其应用在病毒检测系统作了可行性分析。在此基础上,提出了一种新的病毒行为模式库的建立方法,构造病毒程序特征行为的数据结构;同时,提出了一种新的模糊模式识别的算法,用于系统对未知病毒的检测。最后,对病毒检测系统的核心——检测引擎进行了较为详细的设计与分析,从算法执行和系统的工作流程进行了详细设计,实现了一个未知病毒检测系统,并导入病毒程序进行实验。结果表明该检测方法是一种较为有效的未知病毒检测方法。

关键词：计算机病毒程序行为模式识别系统调用