排序方式: 共有13条查询结果,搜索用时 62 毫秒
11.
随着互联网的应用和发展,各种类型的安全协议,包括具有多个角色、多种密码运算的复杂密码协议,已广泛应用于分布式系统中解决各种安全需求.在大规模分布式网络环境下,参与协议运行的主体是大数量的甚至是动态的,密码协议运行环境极为复杂,这使得密码协议的安全性描述和分析变得非常复杂.引入了一个新的代数系统刻画具有多种密码运算的消息代数,并提出了一个新的密码协议模型,描述了无边界网络中的攻击模式,通过建立形式语言规范了无边界网络环境下密码协议的运行环境和安全性质 该协议模型描述了一种“协同攻击”模式,并讨论了密码协议的安全性分析约简技术,给出一个新的安全自动分析过程的简要描述. 相似文献
12.
十年树木,百年树人.大学的成长,如同人才成长一样,需要过程.事实上,中国的大学和大学校长们都在以非同寻常的速度向前发展.
在这个前进的过程中,如何控制、如何评价才能使我们的大学和世界一流大学的目标快速接近?作为人类传承文明的载体,大学本身具有固守和积淀的特征,面对变化的社会环境,以及培养创新型人才的目标,大学应该以什么样的标准衡量自已?又以什么样的方式来保障自己手中的年轻人能够成为高水平人才,能够在未来成为社会和行业的领航者?大学通过什么样的方式证明自已已经为社会带来了高质量的教育?
所有这问题在世界高等教育大众化、国际化、人才需求多样化以及技术快速变化的时代背景下,已成为一个不可回避的话题,也是一个充满争议的话题. 相似文献
13.