论文部分内容阅读
通过对手机内容服务系统,特别是其安全性要求的研究,提出了一种适合于手机内容服务系统的安全模型。该模型能够满足手机内容服务系统的各种安全需求。讨论了一个具体的模型及其实现策略,分析了模型中使用的一些关键技术,同时对模型的性能作了简要的评测。
基于WAP的手机内容服务系统安全模型
【摘 要】
：
通过对手机内容服务系统,特别是其安全性要求的研究,提出了一种适合于手机内容服务系统的安全模型。该模型能够满足手机内容服务系统的各种安全需求。讨论了一个具体的模型及其实现策略,分析了模型中使用的一些关键技术,同时对模型的性能作了简要的评测。
【机 构】
：
中国石油大学计算机科学与技术系
【出 处】
：
计算机应用与软件
【发表日期】
：
2008年02期
其他文献
众所周知西部地区地域辽阔,经济相对落后,基础设施差.阿拉善地区,相当于内地的一个或几个省大.由于地域的特殊性,急救中心在近几年的工作中常遇到一些疑难问题和复杂情况.…
期刊
分析CMMI的特点以及在实际应用中遇到的问题,以CMMI理论模型为基础,通过适当的裁剪,并结合敏捷软件开发的思想,提出基于CMMI的轻型软件质量保证框架(SQAF)。SQAF构建在CMMI的十个过程域上,沿用了CMMI中的主要角色和组,结合了敏捷软件开发的思想和实践。SQAF主要针对中小软件企业,易于实施和应用。
大面积皮肤撕脱伤是一种严重创伤。努力做好大面积皮肤撕脱伤的处理，最大限度地保留、恢复受伤部位的外形、功能是创伤外科中的一个重要课题。我院白2005年5月至2006年10月对2
语法结构正确的过程模型并不能保证过程运作的实际执行,因为没有考虑实例化阶段的时间资源安排。传统的过程自动机描述法不足以分析实例化过程模型。针对这种情况,提出用时间自动机描述过程模型语义的方法,设计了生成时间自动机的算法,分析了这种描述方法在模型检验中的应用。
学科知识建模是一项巨大的工程,当前存在的主要问题有知识库不能很好地共享和重用,难以实现语义上的推理及检索等。把本体技术应用于学科知识建模中,构造了部分课程本体,并实现了对该本体的推理及查询。
基于对Java编译器的扩展和静态验证技术提出了VeriJava项目,与相关工作相比,它的优点在于从语言层面扩展了Ja-va,并且全面支持动态和静态的契约检查。首先介绍了VeriJava项目的整体架构,及其对Java进行的语言层面的扩展,进而重点讨论了方案的核心部分基于定理证明器的静态验证器的理论和设计,并给出了相关示例。
他决意要建造一座横跨曼哈顿和布鲁克林的大桥。然而桥梁专家们经过分析，一致认为这是不可能的。于是都劝他放弃这个天方夜谭的计划。他一如既往，克服了重重困难，构思建桥方案的
目的 探讨急诊锥颅碎吸术联合开颅血肿清除术在重型颅脑损伤并双侧脑疝患者中的应用价值.方法 回顾分析本院150例重型颅脑损伤并双侧脑疝患者的救治资料.结果 150例患者中临
在GIS领域中,由于Delaunay三角网在描述地表形态方面有很大的优势,所以常被用于生成不规则三角形网(TIN)。对约束TIN的构建过程进行了研究,并对其中的逐点插入算法和强行约束线算法从实现上进行了改进,提高了构网的速度。
运动检测是现代视频监控系统的核心。在分析和探讨了几种运动检测算法后,提出了一种新的应用于视频监控系统的运动检测算法,该算法结合统计法和边缘检测筛选出运动边缘点,对运动边缘点逐个进行块匹配最优搜索,估算出运动矢量。该算法的应用有效地压缩了存储的视频数据,改善了系统性能,有很好的实用价值。