类型强制相关论文
针对Biba模型对主体和客体的完整级限制过于严格,兼容性和可用性低,以及为解决可用性而引入的可信主体访问权限和访问范围过大的问题......
首先介绍类型强制的原理,然后介绍一种纳入类型强制机制的防火墙Sidewinder。
First introduce the principle of type coercion,......
共有推定规则是我国物权法特有的立法例,其传统来自司法实践中的民通意见。源自域外的共同共有"类型强制"学说,对共有推定规则的解......
继承被认为是面向对象程序设计的重要特征之一,如何解释继承一直是面向对象形式语义研究的难题,本文针对继承关系的一种形式一一对象......
一、物权法定主义的概述 (一)物权法定主义的内容 物权法定主义,又称类型强制、类型固定原则,是 指当事人不得任意创设民法和其他......
物权的种类和内容由法律明确规定,当事人不得任意创设,是物权法定主义之要义。但是,物权法定主义过于僵化,难以适应现代社会发展的需要......
从法院裁判文书的定量分析看,物权法定原则的适用导致了我国法院的累诉,故须对物权法定原则进行反思。通过动态系统理论和凯尔森规......
本文探讨了英汉语体动词逻辑转喻的组合和释义机制。研究认为,体动词逻辑转喻的适用范围有限,体动词在论元类型和事件类型的选择上呈......
本文探讨英汉语中的“前/后+NP”结构(以下称前后类结构),旨在考察类型强制对这类结构的解释能力,以及这类结构的实现形式。前后类......
针对物权法定的立法体例问题,物权法定应回归法典物权编,同时为贯彻限制私人形成自由的规范意旨,应表达为针对私人的禁止规范,而非......
物权的种类和内容由法律明确规定,当事人不得任意创设,是物权法定主义之要义。但是,物权法定主义过于僵化,难以适应现代社会发展的......
本文认为,目标指向概念的词汇化与否影响着英语和汉语位移动词的论元实现方式。若目标指向概念未词汇化且实现为显性的介词形式(如......
类推适用是民法漏洞补充的基本方法之一,其作用是弥补法律漏洞,使法律未规定的事实有法可依.物权法定是物权法的基本原则之一,它包......