论文部分内容阅读
针对基于Web的通信存在的弱点,提出了安全Web服务器的概念,并以此为目标,提出并实现了一种基于BLP形式化模型的安全Web服务器系统.
一种基于BLP模型的安全Web服务器系统
【摘 要】
：
针对基于Web的通信存在的弱点,提出了安全Web服务器的概念,并以此为目标,提出并实现了一种基于BLP形式化模型的安全Web服务器系统.
【机 构】
：
中国科学院信息安全技术工程研究中心,中国科学院软件研究所信息安全国家重点实验室
【出 处】
：
计算机学报
【发表日期】
：
2003年10期
其他文献
多媒体教学把多种现代化的教学设备有机结合为一体,实时、高效地采集、处理和播放文、图、声、像信息,充分发挥人和设备的潜力与整体效能,达到教学信息资源和设备资源共享的
目的选择理想的治疗骨转移疼痛的有效方法。方法将48例恶性肿瘤骨转移患者随机分为2组,每组24例。治疗组接受博宁联合化疗;对照组单用化疗。2组化疗方案相同。结果治疗组疼痛
提出了一种基于AIMD算法的分层多播拥塞控制算法.算法借助AIMD算法具有的良好TCP兼容性和稳定性,采用慢增慢减的速率调节原则来防止TCP中速率减半策略所带来的速率振荡.为避
近日，重庆市科学技术委员会组织军事医学科学院兽医研究所教授涂长春、中国农业科学院兰州兽医研究所研究员刘湘涛、中国动物疫病预防控制中心研究员杨林等国内专家对重庆市动
多范例并行是大规模并行应用系统的本质特征.规范化描述并行应用系统,建立性能估算模型对于提高多范例并行应用系统的开发效率和运行效率具有重要意义.该文提出了一种基于模
脐动脉是胎儿-胎盘循环的主要血管,胎儿脐动脉血流速度及阻力指数检测是反映胎儿-胎盘循环阻力高低的一个重要指标,超声多普勒技术测定脐动脉血流速度波形在产科领域已广泛开
含有量词的一阶多值Tableau方法具有统一的扩展规则,并由Zabel等人给出了可靠性和完备性的证明.但由于扩展后的分枝随着真值数目的增加而呈指数的增加,因而影响了机器推理执
1我国饲料产品价格小幅上涨7月份我国饲料产品价格继续上涨。育肥猪配合饲料7月的月平均价格为3．15元/kg，较上月价格上涨1．2％。同比涨幅6．5％：肉鸡配合饲料和蛋鸡配合饲料7月份平均价
目的观察诺和锐30与诺和灵30R控制老年2型糖尿病患者血糖疗效。方法将口服降血糖药物血糖控制不佳的老年2型糖尿病患者随机分成诺和锐30组和诺和灵30R组各25例,观察12周内2种