1) dynamic logical license
动态逻辑许可证
1.
This paper presents a digital rights management scheme of PDF digital documents,whose rights management is based on a kind of dynamic logical license which owns a detailed control methods of document rights and an enhanced security by content grade encryption.
电子文档版权管理是数字版权管理的重要研究领域,提出一种PDF电子文档版权保护方案,该方案的权限管理基于一种具有强大表达力、灵活性和开放权限管理能力的动态逻辑许可证,具有详细的文档权限控制方法,并通过内容级的PDF文档加密方法增强文档的安全性。
2) dynamic license
动态许可证
1.
In this paper, a new and secure authentication protocol for trusted copyright protection based on dynamic license is proposed to solve the above problem.
针对当前版权许可软件措施在安全性、有效性方面无法完全满足国际通用的最终用户许可协议(EULA)要求的问题,基于第三方可信中心提出了一种动态许可证支持的信任版权动态分布式安全认证协议。
3) Provable logic
可证性逻辑
4) dynamic logic
动态逻辑
1.
In order to describe the process of multi action commitments and uncommitments, the concept of transition between model state pairs in action dynamic logic was introduced.
通过引入动态逻辑中模型状态迁移概念以及相关谓词来描述多动作承诺与取消承诺时各模型状态变化及相应处理 。
2.
In this paper, a non monotonic dynamic logic that verifies properties of security protocols is introduced.
该文提出一种论证安全协议之安全性质的非单调动态逻辑 。
5) select accept dynamic logic
选择认可动态逻辑
1.
In this paper we present a logic used for analyzing security of network protocol, named select accept dynamic logic.
本文提出了一种用于分析网络安全协议的形式化逻辑——选择认可动态逻辑。
6) dynamic logic diagram
动态逻辑图
补充资料：动态
①（事情）变化发展的情况：科技～ㄧ从这些图片里可以看出我国建设的～。②艺术形象表现出的活动神态：画中人物，～各异，栩栩如生。③运动变化状态的或从运动变化状态考察的：～工作点ㄧ～电流ㄧ～分析。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条