基于Petri网的多播组动态管理协议IGMP的形式化分析

文中在对IGMP详细的机制分析的基础上用扩展的库所 变迁网对其进行了形式化的描述 ,从而奠定了IGMP协议分析和具体实现的基础。

ECC软件实现的体系结构与基础算法分析

椭圆曲线密码体制 (ECC)的快速实现 ,涉及到一批计算机代数算法 .在对ECC的基础算法进行分析的基础上建立了计算机代数模型及相应的软件体系结构 ,为算法优化提供了理论依据 ;

多播安全中批量密钥更新问题研究

从密钥管理与多播安全通信的循环模型出发 ,引出多播安全通信中组密钥更新的可扩展性需求和批量处理需求 .基于密钥图方案给出了独立更新的实现算法 ,以及批量密钥更新的实现算法 .

多播组动态管理协议IGMP的形式化分析

随着IP网络多播技术的发展 ,IGMP在IP协议栈中的作用越来越重要 .在对IGMP详细的机制分析的基础上用扩展的有限自动机和扩展的库所 /变迁网对其进行了形式化的描述 。

初中英语的课堂导入

课堂导入是教学的首要环节,起着温故知新和承上启下的作用。课堂导入时要避免导入时间过长,偏离重点,生搬硬套的做法,而是应根据教材与学生的特点巧妙运用适当方法导入新课,才能激活学生已有的相关所学知识,启发他们对有关话题的思考,从而为他们进一步学习新内容、新知识作为铺垫。