-
题名备案审查决定类型的差异性时间效力构建
- 1
-
-
作者
梁洪霞
-
机构
西南政法大学行政法学院
-
出处
《法治社会》
2025年第5期15-24,共10页
-
基金
国家社科基金重大项目“习近平总书记关于尊重和保障人权的重要论述研究”(项目批准号:22&ZD004)的阶段性成果。
-
文摘
备案审查决定的类型与备案审查的效力制度有着密切的关系。《关于完善和加强备案审查制度的决定》第十四条确立的四种决定类型,为安放备案审查的时间效力提供了一定的制度空间,但需要进一步明确其适用条件与何时失效。基于规范性文件违法违宪不适当程度的不同,各备案审查决定类型应当存在宽严相济的分层谱系,撤销、确认违宪违法要求限期修改废止和要求制定机关修改清理三种类型可适用于各种规范性文件,它们分别对应严重违法违宪、一般违法违宪和不适当。撤销类型可以立即失效或自始无效,后两种则适用于将来失效,但可借助“规范暂时停止适用”产生立即失效后果;作出法律解释类型只针对司法解释,对违宪违法不适当情形没有限定,在时间效力上可以自始无效或立即失效。此外,将来失效类型应附带立法指示和适用指示,明确制定机关应采取的纠正方式、纠正期限和纠正内容,以及规范性文件在将来失效的过渡期间以及期限届满后能否适用。
-
关键词
备案审查决定
时间效力
自始无效
立即失效
将来失效
-
Keywords
Record-Filing and Review Decision
Temporal Effect
invalid Ab Initio
Immediate invalidity
Future Expiration
-
分类号
D921
[政治法律—宪法学与行政法学]
-
-
题名云存储中支持失效文件快速查询的批量审计方法
被引量：7
- 2
-
-
作者
王惠峰
李战怀
张晓
孙鉴
赵晓南
-
机构
西北工业大学计算机学院
-
出处
《计算机学报》
EI
CSCD
北大核心
2017年第10期2338-2351,共14页
-
基金
国家"八六三"高技术研究发展计划项目基金(2013AAOIA215)
国家自然科学基金(61472323
+2 种基金
61502392)
中央高校基本科研业务费专项资金项目(3102015JSJ0009)
华为创新基金项目(YB2014040023)资助~~
-
文摘
云存储服务中,批量审计是高效验证云端数据完整性的关键技术.批量审计容易遭受"失效文件"攻击,并且查询失效文件代价高、速度慢,严重影响着批量审计方案的可用性和效率.针对该问题,提出一种支持失效文件快速查询的批量审计方法,该方法通过建立批量审计过程的关联性,改变了二分查询树中右孩子节点的计算方式,减少了整个查找过程的批量审计次数;并在批量审计过程中执行幂指测试,通过一次审计就可完成含有单个失效文件的子树查找过程,有效缩短了子树的查找长度;采用混合型查询方法,根据历史查询信息设置幂指测试的深度,降低了"失效文件聚集处"的查询开销.安全分析和性能表明,该方法能够快速完成失效文件定位,有效抵抗"失效文件"攻击,保证了批量审计方案的可用性和效率.在少量文件失效的情景下,相较于简单二分查找方法,文中方法耗费的批量审计次数减少了30%.
-
关键词
数据安全
云存储
数据完整性验证
批量审计
快速查询
失效文件
-
Keywords
data security
cloud storage
data integrity checking
batch auditing
fast search
invalid file
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名分布式文件系统中Cache一致性的验证
被引量：1
- 3
-
-
作者
王建勇
祝明发
-
机构
国家智能计算机研究与开发中心
中国科学院计算技术研究所
-
出处
《计算机学报》
EI
CSCD
北大核心
1999年第5期460-466,共7页
-
基金
国家八六三高技术研究发展计划
-
文摘
基于信念逻辑，分析了曙光超级服务器单一映象文件系统中所采用的基于目录的无效使能Ｃａｃｈｅ一致性协议．首先介绍了Ｃａｃｈｅ一致性协议的目标，并为之建立了系统模型及逻辑，然后以基于目录的无效使能协议为例演示了运用信念逻辑对Ｃａｃｈｅ一致性进行正确性证明的过程．
-
关键词
CACHE
一致性
分布式文件系统
UNIX
操作系统
-
Keywords
Belief, cache coherence, directory based invalidate protocol, distributed file system.
-
分类号
TP316
[自动化与计算机技术—计算机软件与理论]
-
-
题名软件安全Shell的实现
- 4
-
-
作者
李龙
许梦磊
张可佳
-
机构
东北石油大学计算机与信息技术学院
-
出处
《电子设计工程》
2016年第7期52-54,共3页
-
文摘
本文基于防止软件被破解与逆向的目的,通过对PE文件导入表、导出表、重定位表的处理实现Shell增加区段的功能。通过将Is Debugger Present与Timing Attacks技术的融合实现Shell自身的反调试,同时采用Shell Code的编码方式存储一些敏感信息以及通过"无效操作码"这一后门接口实现Shell自身的反虚拟机功能。最后通过对Notepad的加Shell试验说明Shell具有反调试与反虚拟机功能,证明了对软件加Shell具有防止被破解与逆向的功能。
-
关键词
SHELL
PE文件
Is
DEBUGGER
PRESENT
TIMING
Attacks技术
无效操作码
-
Keywords
Shell
PE files
Is Debugger Present
the technology of Timing Attacks
invalid opcode
-
分类号
TN99
[电子电信—信号与信息处理]
-
