论文部分内容阅读
对快速、高效的形式化分析安全协议进行研究，提出“信任域”的概念。采用与图形化相结合的分析方法，使得协议流程的推导过程清晰、直观。该方法直接分析协议参与主体的信任域，简化分析过程和步骤。实验结果表明，与传统方法相比，该方法更快速、直观，并能为分析协议的冗余性提供具体方法和依据。
一种安全协议的形式化分析方法
【摘 要】
：
对快速、高效的形式化分析安全协议进行研究，提出“信任域”的概念。采用与图形化相结合的分析方法，使得协议流程的推导过程清晰、直观。该方法直接分析协议参与主体的信任域，简
【机 构】
：
北京邮电大学信息与通信工程学院
【出 处】
：
计算机工程
【发表日期】
：
2010年7期
其他文献
【摘要】在我国经济快速发展的状况下，各行各业呈现出一片繁荣的景象，这样的发展状况使得我国重视物质文明的同时也注重精神文明。因此，在教育领域提出了一种“作文先导式”的教学模式。以此为契机，本文着重就“作文先导式”的教学模式提出了几点应用方式和方法。此次研究的主要目的是为了更好的提升小学生的语文水平，进而为现今小学教育的创新发展献力。 【关键词】教学模式 小学语文 作文先导式 【中图分类号】G62
培养班干部的几点做法和体会姜瑞莲担任多年班主任工作的老师都有一个共同的体会，要带好一个班级必须培养一支品学兼优，作风过硬的班干部队伍。班主任只有充分调动和发挥他们的
为了减少连续最近邻查询中计算K个最近邻的次数和减小算法需要的存储空间,提出一种道路网络中求连续最近邻的方法。给出分点的计算方法及连续最近邻查询算法,对算法的正确性
针对缓冲区溢出攻击,提出一种软硬件相结合的预防技术。介绍缓冲区溢出攻击,在高速缓存和主内存之间增加基于FPGA的硬件模块,该模块通过保护函数返回的地址来防范缓冲区溢出
【摘 要】在信息技术发达的时代，计算机教育的发展十分迅速，包括计算机学科的教学任务以及教学目标，都在伴随着时代不停地改变。虽然计算机技术在日常生活中的应用繁华多样，但是计算机的基础知识的学习相对来说变化较少，仍然是枯燥的，所以学生对于计算机学科知识的学习兴趣相对较低。关于初中计算机教学课堂中提高学生的学习兴趣，本文将进行分析并提出解决措施。 【关键词】计算机教学;激发兴趣;措施 【中图分类号】
采用浸提法，用95％乙醇为溶剂得到紫茎泽兰、薇甘菊、三叶鬼针草、肿柄菊、酢浆草5种外来入侵植物的茎叶提取物。将植物提取物稀释成1、5、10倍液，在室内用微量点滴法，测定其于24h
自组织映射（SOM）神经网络存在训练结果不稳定、识别率低的问题。为此,提出一种斥力平衡SOM神经网络方法（RESOM）。该方法使用斥力原理,根据SOM模式区域在斥力场中迁移到的斥力平衡
【摘要】词汇是英语学习的基础，掌握丰富的词汇量，对于学生的英语水平的提升起着重要的作用。本文主要针对初中英语词汇教学展开讨论，首先从初中英语词汇教学中存在的问题入手，结合掌握丰富的词汇量对于学生的意义进行分析，最终总结出初中英语词汇教学的主要方法。 【关键词】初中英语 词汇教学 【中图分类号】G633.41 【文献标识码】A 【文章编号】2095-3089（2018）06-0179-02 词