安全ARP的Clark-Wilson模型化

ARP协议漏洞严重威胁着TCP／IP的安全，一些基于对称或非对称密钥机制的安全ARP协议被相继提出。本文介绍了ARP协议攻击的原理和几个最出名的基于对称或非对称密钥机制的安全ARP协议，引入Clark-wilson商业模型对ARP的完整性状态进行了分析，把改进协议Clark-Wilson模型化，在模型化的过程中找到了它们不能通过Clark-Wilson商业模型验证规则的关键点，并根据Clark-Wilson商业模型提出的经典场景，给出了相应的攻击场景。

基于Biba和Clark-Wilson策略的混合强制完整性模型

商业应用需要实施完整性策略保护.Biba模型提供了一种简洁的多级完整性控制方案,但是需要引入可信主体来保证实施的可用性.而Clark-Wilson模型通过可监控的状态转换提供了一种完备的完整性保护,但其复杂性影响了该模型的完整实现.提出的模型以Biba严格完整性策略为基础,同时根据可信主体在其生命周期所属的状态实施Biba低水标策略.对可信主体在其生命周期发生的状态转换及相应的低水标参数调整,采用Clark-Wilson模型来进行监控.在有效解决了Biba策略的可用性问题和Clark-Wilson模型监控量过大给系统带来的配置和运行负担问题的同时,继承它们的优点.证明了该策略融合方案是可行的、安全的.

基于TM的渤海海岸带1988~2000年生态环境变化

海岸带作为海陆之间的过渡地带,是全球生态环境最为复杂和特殊之处。研究海岸带土地利用变化对于了解该区域生态环境演变具有重要意义。利用1988和2000年的Landsat-TM数据,在GIS技术支持下,通过一系列空间分析,得到渤海海岸带土地利用/土地覆盖变化,结合社会经济统计资料分析该区域生态环境的动态变化情况及其驱动因素。结果表明,1988~2000年,由于渤海海岸带社会经济的快速发展,海岸带土地利用格局发生了巨大的变化。耕地大面积减少,城乡工矿用地、养殖池塘、盐田急剧扩张;林地、湿地等具有重要生态价值的土地类型面积显著下降。表明强烈的人类活动已经使自然生态系统受到破坏,渤海海岸带生态环境质量总体上呈现下降趋势。

基于遥感-过程耦合模型的1988～2004年青海三江源区净初级生产力模拟

三江源区不仅是地处青藏高原的全球气候变化的敏感区,也是我国甚至亚洲最重要河流的上游关键源区。作为提供物质基础的植被净初级生产力(Netprimaryproduction,NPP),是评价生态系统状况的重要指标。该文应用已在碳通量观测塔验证,扩展到区域水平的遥感-过程耦合模型GLOPEM-CEVSA,以空间插值的气象数据和1km分辨率的AVHRR遥感反演的FPAR数据为模型主要输入,模拟并分析了1988～2004年该区NPP时空格局及其控制机制。结果表明,该区植被平均NPP为143.17gC·m–2·a–1,呈自东南向西北逐渐降低的空间格局,其中,以森林NPP最高(267.90gC·m–2·a–1),其次为农田(222.94gC·m–2·a–1)、草地(160.90gC·m–2·a–1)和湿地(161.36gC·m–2·a–1),荒漠最低(36.13gC·m–2·a–1)。其年际变化趋势在空间上呈现出明显的差异,西部地区NPP表现为增加趋势,每10a增加7.8～28.8gC·m–2;而中、东部表现为降低趋势,每10a降低13.1～42.8gC·m–2。根据显著性检验,NPP呈增加趋势(趋势斜率b>0),显著性水平高于99%和95%的区域占研究区总面积的13.43%和20.34%,主要分布在西部地区;NPP呈降低趋势(趋势斜率b<0),显著性水平高于99%和95%的区域占研究区面积的0.75%和3.77%,主要分布在中、东部地区,尤以该区长江和黄河等沿线区分布更为集中,变化显著性也更高。三江源NPP的年际变化趋势的气候驱动力分析表明,整个区域水平上该地区植被生产力受气候变化的主导,西部地区暖湿化趋势,造成了该地区生产力较为明显的、大范围的增加趋势;但东、中部地区则主要受人类活动的影响,特别是长江、黄河等河流沿线,是人类居住活动密集的地区,造成这些地区放牧压力较大、草地退化严重,而该地区暖干化趋势加剧了这一过程。