期刊文献+
共找到4篇文章
< 1 >
每页显示 20 50 100
民事诉讼法是一门学科吗 被引量:1
1
作者 吴俊(译) 《湖湘法学评论》 2023年第4期152-160,共9页
诉讼法对实体法具有相当大的影响。根据事实作出公平公正的裁判,是现代民事诉讼的目的之一。抛开晦涩的技术细节,学生需要熟悉掌握诉讼法的核心规则,而这些核心规则揭示了更具有一般性的问题,如诉讼法的基本原则。此外,民事诉讼法史的... 诉讼法对实体法具有相当大的影响。根据事实作出公平公正的裁判,是现代民事诉讼的目的之一。抛开晦涩的技术细节,学生需要熟悉掌握诉讼法的核心规则,而这些核心规则揭示了更具有一般性的问题,如诉讼法的基本原则。此外,民事诉讼法史的内容应该被纳入法学院的课程。罗马-教会法诉讼程序是欧洲大陆的“诉讼法之母”。欧陆民事诉讼法的发展也能被描述为“无缝之网”。关于欧洲不同诉讼制度之间异同性的知识,对诉讼法可能的统一大有帮助。在法律史的帮助下,不同法系的诉讼程序之间的差异能够变得有序起来。 展开更多
关键词 民事诉讼法 程序法技术 诉讼法史 罗马-教会法诉讼程序
下载PDF
Digital Rights Management:Model,Technology and Application 被引量:7
2
作者 Zhaofeng Ma 《China Communications》 SCIE CSCD 2017年第6期156-167,共12页
with rapid achievement of current information technology and computing ability and applications,much more digital content such as films,cartoons,design drawings,office documents and software source codes are produced ... with rapid achievement of current information technology and computing ability and applications,much more digital content such as films,cartoons,design drawings,office documents and software source codes are produced in daily work,however to protect the content being copying,shared or deliberately stolen by inside or outside,digital rights management(DRM) became more and more important for digital content protection.In this paper,we studied various DRM model,technology and application,and first proposed DRM Security Infrastructure(DSI),in which we defined encryption,hash,signature algorithm,watermarking algorithms,authentication,usage control,trusted counter,conditional trace,secure payment,and based on the DSI we then proposed a whole classification approach and architecture of all kinds of DRMs,in which we proposed 6 typical classes of copyrights and content protection DRMs architecture:(1) Software-oriented DRM,(2) e Book-oriented DRM,(3) Video-oriented DRM,(4) Image-Oriented DRM(5) Unstructured data oriented DRM,(6) Text-oriented DRM.Based on the above DSI,we then proposed a dynamic DRM model selection method for various DRM application,which can be adapted dynamically for different technology of different applications,which can provide awhole solution for variant DRM development in a rapid and customized mode.The proposed DRM method,technology and application in this paper provided a common,flexible and extendable solution for variant DRM scenes,and can support rapid and customized development.Moreover,we proposed an opinion that the future life will enter into a new era that the content usage and consumption will not again adopt DRM technology rather than with law,liberty and morality. 展开更多
关键词 digital rights management drm security infrastructure ENCRYPTION WATERMARK usage control drm-free
下载PDF
Geospacial information utilized under the access control strategy
3
作者 田捷 《Journal of Chongqing University》 CAS 2007年第4期256-264,共9页
This paper introduces a solution to the secure requirement for digital rights management (DRM) by the way of geospacial access control named geospacial access control (GeoAC) in geospacial field. The issues of aut... This paper introduces a solution to the secure requirement for digital rights management (DRM) by the way of geospacial access control named geospacial access control (GeoAC) in geospacial field. The issues of authorization for geospacial DRM are concentrated on. To geospacial DRM, one aspect is the declaration and enforcement of access rights, based on geographic aspects. To the approbation of digital geographic content, it is important to adopt online access to geodata through a special data infrastructure (SDI). This results in the interoperability requirements on three different levels: data model level, service level and access control level. The interaction between the data model and service level can be obtained by criterions of the open geospacial consortium (OGC), and the interaction of the access control level may be reached by declaring and enforcing access restrictions in GeoAC. Then an archetype enforcement based on GeoAC is elucidated. As one aspect of performing usage rights, the execution of access restrictions as an extension to a regular SDI is illuminated. 展开更多
关键词 spacial technologies geospacial services access control rights expression languages
下载PDF
GENERATING EXACT NONLINEAR RANKING FUNCTIONS BY SYMBOLIC-NUMERIC HYBRID METHOD 被引量:8
4
作者 SHEN Liyong WU Min +1 位作者 YANG Zhengfeng ZENG Zhenbing 《Journal of Systems Science & Complexity》 SCIE EI CSCD 2013年第2期291-301,共11页
This paper presents a hybrid symbolic-numeric algorithm to compute ranking functions for establishing the termination of loop programs with polynomial guards and polynomial assignments.The authors first transform the ... This paper presents a hybrid symbolic-numeric algorithm to compute ranking functions for establishing the termination of loop programs with polynomial guards and polynomial assignments.The authors first transform the problem into a parameterized polynomial optimization problem,and obtain a numerical ranking function using polynomial sum-of-squares relaxation via semidefinite programming(SDP).A rational vector recovery algorithm is deployed to recover a rational polynomial from the numerical ranking function,and some symbolic computation techniques are used to certify that this polynomial is an exact ranking function of the loop programs.At last,the authors demonstrate on some polynomial loop programs from the literature that our algorithm successfully yields nonlinear ranking functions with rational coefficients. 展开更多
关键词 Program verification ranking function semidefinite programming symbolic-numeric hybrid method.
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部