论文部分内容阅读
作为一种重要的工业标准网络安全协议,建立IPSec安全策略控制系统需要一个正确的建模工具。相比较其它的建模语言,着色Petri网（CPN）提供了一种比较清晰的关于系统状态和行为的描述方法。在本文中,尝试利用CPN来描述动态变化的IPSec协议,并建立了IPSec协议中发送端的CPN模型。
基于着色Petri网的IPSec协议建模与分析
【摘 要】
：
作为一种重要的工业标准网络安全协议,建立IPSec安全策略控制系统需要一个正确的建模工具。相比较其它的建模语言,着色Petri网（CPN）提供了一种比较清晰的关于系统状态和行为的
【机 构】
：
江南大学信息工程学院
【出 处】
：
微计算机信息
【发表日期】
：
2010年21期
其他文献
【正】 黔东南州农机局1999年3月17-18日在黎平召开了全州农机工作会议,十六个县市的农机局长、州直农机局科室的主要负责人及州政府、州人大的负责同志参加了会议。 会议传
【正】 第一条 为维护农民的合法权益,明确农业机械产品销售者、修理者、生产者的修理、更换、退货(以下称为三包)责任和义务,根据《中华人民共和国产品质量法》和《中华人民
奉节县全面清理农村财务成效显著袁天泽，李百均为了切实解决农村财务上清下不清和管理混乱的问题，下决心理顺财务关系，以推进农村经济持续、快速发展，奉节县开展了全县性的农村财
巴中市制定九项制度减轻农民负担岳新发巴中市为加强农民负担规范化、法制化管理，保护农民的经济利益，维护农村的社会稳定，促进农民增收减支，制定了９项制度。通过近３年实施，全市农民
乡镇企业摆脱高比例负债经营的思考倪继金高比例负债经营是当前乡镇企业普遍存在而又带共性的问题。从调查的情况和数据表明：大多数企业负债总额已经占到了总资产的７０％以上，有的高
发展优质水果 加快农民致富奔小康唐俊才，蒋卫东（一）仁寿县优质水果研究所（简称果研所）是以仁寿县葡萄协会（简称协会）为基础，于１９９２年７月诞生。该所实行两个牌子，一套人马，所长干利民兼任协
本文通过对USB总线相关设备驱动开发实现机制的研究。重点分析了在WinCE.Net嵌入式操作系统下流接口驱动的工作原理,并对CY7C68013的硬件结构、工作方式以及作为从属接口模式
探讨了智能组卷系统中试题库设计和研发中,图形和文本的混合存储以及输出技术这一问题的解决,在很多应用中所采用的方案是将图形信息和文本信息分开处理,或者存储图形的存放
强化管理 促进发展──对广安县农村合作基金会的调查张德全，唐惠君，李平１９９４年，广安县在广泛聚集农村闲散资金，实行规范化管理，大力提高服务质量的情况下，农村合作基金会又得到了更快