排序方式: 共有3条查询结果,搜索用时 0 毫秒
1
1.
通过音乐与舞蹈的互动关系,阐述音乐与舞蹈各自的特征及音乐与舞蹈的辩证关系,从而达到视觉与听觉上的相互补充及和谐统一,进而充分发挥音乐在舞蹈创作中的作用. 相似文献
2.
3.
改进的加密协议形式化验证模型和算法 总被引:3,自引:0,他引:3
状态搜索技术是分析加密协议安全属性的最流行的形式化验证方法之一 ,Mur是一种常用的能分析一般性协议的模型工具 ,它的原理简明 ,但缺点是容易产生状态爆炸。为了克服这一问题 ,针对加密协议的特点 ,提出了改进模型和算法。根据协议的描述定义状态空间 ,建立以攻击者为核心的验证模型 ,使用搜索算法检测是否存在攻击者能完成攻击的不安全状态。在对通信过程、消息传递方式等方面改进后 ,搜索空间的可达状态数减少了很多 ,验证系统的效率显著提高 相似文献
1