A method of logic-based smart contracts for blockchain system
J Hu, Y Zhong - Proceedings of the International Conference on Data …, 2018 - dl.acm.org
Recently, blockchain systems have attracted intensive attentions from academia, industrial
circles and governments, which make smart contract a hit since it is an important research …
circles and governments, which make smart contract a hit since it is an important research …
一种灵活的使用控制授权语言框架研究
钟勇， 秦小麟， 郑吉平， 林冬梅 - 计算机学报, 2006 - cqvip.com
首先提出一种单限制变元Datalog^ 乛, sc 的概念, 并对单限制变元Datalog^ 乛, sc
的评价(evaluation) 及其元组识别问题做了分析. 然后提出使用控制授权语言框架LUC …
的评价(evaluation) 及其元组识别问题做了分析. 然后提出使用控制授权语言框架LUC …
A logic for state-modifying authorization policies
MY Becker, S Nanz - Computer Security–ESORICS 2007: 12th European …, 2007 - Springer
We present a logic for specifying policies where access requests can have effects on the
authorization state. The logic is semantically defined by a mapping to Transaction Logic …
authorization state. The logic is semantically defined by a mapping to Transaction Logic …
A logic for state-modifying authorization policies
MY Becker, S Nanz - ACM transactions on information and system …, 2010 - dl.acm.org
Administering and maintaining access control systems is a challenging task, especially in
environments with complex and changing authorization requirements. A number of …
environments with complex and changing authorization requirements. A number of …
[PDF][PDF] 一种面向DRM 的责任授权模型及其实施框架
钟勇， 秦小麟， 刘凤玉 - 软件学报, 2010 - jos.org.cn
针对现有的DRM (digital rights management) 机制缺乏真正的责任描述和实施能力问题,
提出一种应用于DRM 的责任授权模型及其实施框架. 该模型基于分布式时态逻辑和Active-U …
提出一种应用于DRM 的责任授权模型及其实施框架. 该模型基于分布式时态逻辑和Active-U …
一种基于逻辑框架的数字版权管理机制和实现
钟勇， 张宏， 刘凤玉， 秦小麟 - 计算机研究与发展, 2010 - cqvip.com
权利描述语言用来构造许可证, 描述数字内容的使用权利. 鉴于现存的权利描述语言存在表达力
不足, 缺乏正式语义等问题, 提出一种基于逻辑框架的数字版权管理语言LucScript …
不足, 缺乏正式语义等问题, 提出一种基于逻辑框架的数字版权管理语言LucScript …
一种新的DRM 使用控制协议模型的研究
陈明捷， 范科峰， 张素兵， 莫玮 - 计算机应用研究, 2010 - cqvip.com
鉴于当前DRM (数字版权管理) 系统不能有效地实现数字内容的合理使用和使用权限的转移,
基于使用控制UCON (usage control), 结合加密技术, 数字水印技术和叛逆追踪技术 …
基于使用控制UCON (usage control), 结合加密技术, 数字水印技术和叛逆追踪技术 …
ODRL 权利描述语言逻辑实施机制研究
钟勇， 秦小麟， 刘凤玉 - 计算机科学, 2009 - cqvip.com
针对缺乏正式语义使基于XML 的ODRL 等权利描述语言的确切含义依赖应用程序的特定理解,
易产生二义性和不确定性等问题, 将ODRL 语言转换成一种基于逻辑的权利描述语言, 为ODRL …
易产生二义性和不确定性等问题, 将ODRL 语言转换成一种基于逻辑的权利描述语言, 为ODRL …
基于动态逻辑许可证的PDF 版权管理系统
王景艳， 钟勇， 朱珍 - 计算机工程, 2009 - cqvip.com
电子文档版权管理是数字版权管理的重要研究领域, 提出一种PDF 电子文档版权保护方案,
该方案的权限管理基于一种具有强大表达力, 灵活性和开放权限管理能力的动态逻辑许可证 …
该方案的权限管理基于一种具有强大表达力, 灵活性和开放权限管理能力的动态逻辑许可证 …
Research on access control model of social network based on distributed logic
L Ma, W Yang, Y Huo, Y Zhong - Future Generation Computer Systems, 2018 - Elsevier
Highly decentralized, dynamic and fine-grained access control models of social networks
need that the access control mechanisms of social networks own sufficient expressiveness …
need that the access control mechanisms of social networks own sufficient expressiveness …